Jingde Cheng Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. [Citation Graph (0, 0)][DBLP] ARES, 2006, pp:631-638 [Conf]
Jingde Cheng, Junichi Miura Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. [Citation Graph (0, 0)][DBLP] ARES, 2006, pp:601-608 [Conf]
Jingde Cheng Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2006, pp:167-178 [Conf]
Jingde Cheng Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. [Citation Graph (0, 0)][DBLP] AINA, 2005, pp:667-672 [Conf]
Jingde Cheng Dependence Analysis of Parallel and Distributed Programs and Its Applications. [Citation Graph (0, 0)][DBLP] APDC, 1997, pp:370-377 [Conf]
Jingde Cheng A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. [Citation Graph (0, 0)][DBLP] Discovery Science, 1998, pp:403-404 [Conf]
Jingde Cheng A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. [Citation Graph (0, 0)][DBLP] EJC, 1999, pp:136-159 [Conf]
Jingde Cheng Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. [Citation Graph (0, 0)][DBLP] ER (Workshops), 2004, pp:470- [Conf]
Jingde Cheng Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. [Citation Graph (0, 0)][DBLP] ICTAI, 2005, pp:270-274 [Conf]
Jingde Cheng EnCal: an automated forward deduction system for general-purpose entailment calculus. [Citation Graph (0, 0)][DBLP] IFIP World Conference on IT Tools, 1996, pp:- [Conf]
Jingde Cheng Designing, developing, and maintaining concurrent systems based on self-measurement principle. [Citation Graph (0, 0)][DBLP] IRMA Conference, 2000, pp:944-945 [Conf]
Jingde Cheng Temporal relevant logic as the logical basis of autonomous evolutionary information systems. [Citation Graph (0, 0)][DBLP] IRMA Conference, 2000, pp:950-951 [Conf]
Jingde Cheng Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1997, pp:67-78 [Conf]
Shoichi Morimoto, Jingde Cheng A Security Specification Library with a Schemaless Database. [Citation Graph (0, 0)][DBLP] International Conference on Computational Science (3), 2007, pp:890-893 [Conf]
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. [Citation Graph (, )][DBLP]
ISEDS: An Information Security Engineering Database System Based on ISO Standards. [Citation Graph (, )][DBLP]
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. [Citation Graph (, )][DBLP]
An Improvement of REM: A Replication Oriented Event-Based Middleware. [Citation Graph (, )][DBLP]
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. [Citation Graph (, )][DBLP]
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. [Citation Graph (, )][DBLP]
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. [Citation Graph (, )][DBLP]
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. [Citation Graph (, )][DBLP]
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. [Citation Graph (, )][DBLP]
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. [Citation Graph (, )][DBLP]
A replication oriented approach to event based middleware over structured peer to peer networks. [Citation Graph (, )][DBLP]
ISEE: An Information Security Engineering Environment. [Citation Graph (, )][DBLP]
Measuring Reactability of Persistent Computing Systems. [Citation Graph (, )][DBLP]
Classification, Formalization and Verification of Security Functional Requirements. [Citation Graph (, )][DBLP]
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. [Citation Graph (, )][DBLP]
Distributed hash table based design of Soft System Buses. [Citation Graph (, )][DBLP]
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. [Citation Graph (, )][DBLP]
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. [Citation Graph (, )][DBLP]