2008 | ||
---|---|---|
80 | EE | Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES 2008: 1219-1225 |
79 | EE | Natsumi Kitajima, Yuichi Goto, Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178 |
78 | EE | Jingde Cheng: Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648 |
77 | EE | Jingde Cheng: Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172 |
76 | EE | Jingde Cheng: Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102 |
75 | EE | Takahiro Koh, Yuichi Goto, Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507 |
74 | EE | Jingde Cheng: Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. KES (2) 2008: 517-525 |
73 | EE | Yuichi Goto, Takahiro Koh, Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535 |
72 | EE | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633 |
71 | EE | Ying Gao, Jingde Cheng: Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Mathematical Structures in Computer Science 18(1): 145-164 (2008) |
2007 | ||
70 | EE | Ying Gao, Jingde Cheng: Operational Semantics for Positive Relevant Logics Without Distribution. CiE 2007: 325-335 |
69 | EE | Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: Distributed hash table based design of Soft System Buses. Infoscale 2007: 78 |
68 | EE | Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng: EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) 2007: 406-413 |
67 | EE | Shoichi Morimoto, Jingde Cheng: A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893 |
66 | EE | Jingde Cheng, Shinsuke Nara, Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452 |
65 | EE | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) 2007: 840-851 |
64 | EE | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng: A replication oriented approach to event based middleware over structured peer to peer networks. MPAC 2007: 61-66 |
63 | EE | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Formal verification of security specifications with common criteria. SAC 2007: 1506-1512 |
62 | EE | K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng: POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC 2007: 270-275 |
61 | EE | Takumi Endo, Yuichi Goto, Jingde Cheng: Measuring Reactability of Persistent Computing Systems. Software Composition 2007: 144-151 |
60 | EE | Ying Gao, Jingde Cheng: Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. Electr. Notes Theor. Comput. Sci. 169: 61-71 (2007) |
59 | EE | Yuichi Goto, Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electr. Notes Theor. Comput. Sci. 169: 87-97 (2007) |
2006 | ||
58 | EE | Jingde Cheng, Junichi Miura: Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. ARES 2006: 601-608 |
57 | EE | Jingde Cheng: Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638 |
56 | EE | Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin: Ubisafe Computing: Vision and Challenges (I). ATC 2006: 386-397 |
55 | EE | Jingde Cheng: Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. Ada-Europe 2006: 167-178 |
54 | EE | Shoichi Morimoto, Daisuke Horie, Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10 |
53 | EE | Daisuke Horie, Shoichi Morimoto, Jingde Cheng: A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. International Conference on Computational Science (4) 2006: 797-804 |
52 | EE | Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) 2006: 1264-1273 |
51 | EE | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: A security specification verification technique based on the international standard ISO/IEC 15408. SAC 2006: 1802-1803 |
50 | EE | Jingde Cheng: Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320 |
49 | EE | Yuichi Goto, Jingde Cheng: A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43 |
48 | EE | Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto: The Theory Grid and Grid Theorists. SKG 2006: 32 |
2005 | ||
47 | EE | Jingde Cheng: Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. AINA 2005: 667-672 |
46 | Shoichi Morimoto, Jingde Cheng: Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951 | |
45 | Jingde Cheng: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320 | |
44 | EE | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng: Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883 |
43 | EE | Jingde Cheng: Comparing Persistent Computing with Autonomic Computing. ICPADS (2) 2005: 428-432 |
42 | EE | Jingde Cheng: Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274 |
41 | EE | Feng Shang, Jingde Cheng: Anticipatory Agents Based on Anticipatory Reasoning. ISMIS 2005: 445-455 |
40 | EE | Jingde Cheng: Autonomous and Continuous Evolution of Information Systems. KES (1) 2005: 758-767 |
39 | EE | Jingde Cheng: Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445 |
38 | EE | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng: A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 |
2004 | ||
37 | EE | Jingde Cheng, Yuichi Goto: Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126 |
36 | EE | Jingde Cheng: Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. ER (Workshops) 2004: 470 |
2003 | ||
35 | EE | Jingde Cheng: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES 2003: 68-80 |
2002 | ||
34 | EE | Romi S. Wahono, Jingde Cheng: Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW 2002: 412-418 |
33 | Masato Koide, Jingde Cheng: A toolkit for developing programs of card game played on the internet. IWEC 2002: 57-64 | |
32 | EE | Takahiro Tagawa, Jingde Cheng: Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI 2002: 39-48 |
2001 | ||
31 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22 |
30 | EE | Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng: A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52 |
29 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537 |
28 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681 |
2000 | ||
27 | EE | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng: Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99 |
26 | Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima: A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81 | |
25 | Jingde Cheng: Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference 2000: 944-945 | |
24 | Jingde Cheng: Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference 2000: 950-951 | |
1999 | ||
23 | EE | Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima: A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448 |
22 | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC 1999: 136-159 | |
21 | EE | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD 1999: 489-493 |
1998 | ||
20 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178 |
19 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66 |
18 | EE | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science 1998: 403-404 |
1997 | ||
17 | EE | Jingde Cheng: Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC 1997: 370-377 |
16 | Kazunori Nishi, Jingde Cheng, Kazuo Ushijima: Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380 | |
15 | EE | Jingde Cheng: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada 1997: 67-78 |
1996 | ||
14 | Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima: ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344 | |
13 | Jingde Cheng, Kazuo Ushijima: Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146 | |
12 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320 |
11 | EE | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291 |
10 | Jingde Cheng: EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools 1996 | |
1995 | ||
9 | EE | Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima: An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. APSEC 1995: 254-263 |
8 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825 | |
1993 | ||
7 | Jingde Cheng: Slicing Concurrent Programs - A Graph-Theoretical Approach. AADEBUG 1993: 223-240 | |
6 | Jingde Cheng: Dependence-Based Complexity Metrics for Distributed Programs. ICPP 1993: 265-268 | |
5 | Jingde Cheng: Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO 1993: 589-592 | |
1992 | ||
4 | Jingde Cheng: Task Dependence Net as a Representation for Concurrent Ada Programs. Ada-Europe 1992: 150-164 | |
1991 | ||
3 | Jingde Cheng, Kazuo Ushijima: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146 | |
2 | Keijiro Araki, Zengo Furukawa, Jingde Cheng: A General Framework for Debugging. IEEE Software 8(3): 14-20 (1991) | |
1990 | ||
1 | Jingde Cheng: An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. 36(3): 117-121 (1990) |