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) |