Jingde Cheng
According to our database1,
Jingde Cheng
authored at least 159 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method.
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
IEICE Trans. Inf. Syst., 2019
Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets.
IEEE Access, 2019
A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases.
Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2019
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic.
Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness.
Proceedings of the Codes, Cryptology and Information Security, 2019
2018
Peer-to-Peer Netw. Appl., 2018
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.
Proceedings of the 2018 IEEE SmartWorld, 2018
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry.
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
Proceedings of the 2018 IEEE SmartWorld, 2018
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018
2017
A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation.
IEEE Syst. J., 2017
Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2017
A Design of Evolutionary Personal Information Partner Based on Software as a Service.
Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017
Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017
2016
CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation.
Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 2016
Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2016
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study.
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016
A Security Evaluation and Certification Management Database Based on ISO/IEC Standards.
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016
Proceedings of the International Conference on Advanced Cloud and Big Data, 2016
2015
J. Web Eng., 2015
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory.
Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015
Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015
2014
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs.
IEICE Trans. Inf. Syst., 2014
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408.
Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2014
Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2014
Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning.
Proceedings of the Intelligent Information and Database Systems - 6th Asian Conference, 2014
2013
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory.
Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013
Development of a supporting tool for translation between declarative sentences and logical formulas.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2013
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013
Proceedings of the Ninth International Conference on Computational Intelligence and Security, 2013
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013
2012
Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
Practical usage of freeencal: An automated forward reasoning engine for general-purpose.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
2011
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2011
MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus.
Proceedings of the ENASE 2011, 2011
2010
Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010
2009
Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes.
Proceedings of the Fifth International Conference on Semantics, Knowledge and Grid, 2009
ISEE: An Information Security Engineering Environment.
Proceedings of the SECRYPT 2009, 2009
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
Proceedings of the The Forth International Conference on Availability, 2009
Proceedings of the The Forth International Conference on Availability, 2009
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions).
Math. Struct. Comput. Sci., 2008
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study.
Proceedings of the Knowledge-Based Software Engineering, 2008
Proceedings of the Knowledge-Based Software Engineering, 2008
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.
Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008
Proceedings of the 8th International Conference on Hybrid Intelligent Systems (HIS 2008), 2008
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
Proceedings of the 2008 International Conference on Computational Intelligence and Security, 2008
Proceedings of the The Third International Conference on Availability, 2008
Proceedings of the The Third International Conference on Availability, 2008
2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the Third International Conference on Semantics, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
A replication oriented approach to event based middleware over structured peer to peer networks.
Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2007), held at the ACM/IFIP/USENIX 8th International Middleware Conference, November 26, 2007
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007
Proceedings of the Computational Science, 2007
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007
Proceedings of the Computation and Logic in the Real World, 2007
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007
2006
Proceedings of the Workshop on Logic, Models and Computer Science, 2006
Proceedings of the Workshop on Logic, Models and Computer Science, 2006
Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning.
Proceedings of the IEEE International Conference on Systems, 2006
Proceedings of the 2006 International Conference on Semantics, 2006
A security specification verification technique based on the international standard ISO/IEC 15408.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the Computational Science and Its Applications, 2006
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408.
Proceedings of the Computational Science, 2006
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.
Proceedings of the Reliable Software Technologies, 2006
Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance.
Proceedings of the The First International Conference on Availability, 2006
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems.
Proceedings of the The First International Conference on Availability, 2006
2005
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning.
Proceedings of the Information Modelling and Knowledge Bases XVII, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
2004
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004
Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems.
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004
2003
Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003
2002
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic.
Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002
A toolkit for developing programs of card game played on the internet.
Proceedings of the Entertainment Computing: Technologies and Applications, 2002
Extensible Requirements Patterns of Web Application for Efficient Web Application Development.
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002
2001
Proceedings of the 2001 International Conference on Software Maintenance, 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001
2000
Temporal relevant logic as the logical basis of autonomous evolutionary information systems.
Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000
Designing, developing, and maintaining concurrent systems based on self-measurement principle.
Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000
Monitoring facilities in languages supporting development of concurrent self-measurement programs.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
Proceedings of the Reliable Software Technologies, 2000
1999
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract).
Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery.
Proceedings of the Information Modelling and Knowledge Bases XI: 9th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the Discovery Science, 1998
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998
1997
Proceedings of the Conference, The annual meeting of the Ada programming world, 1997
Proceedings of the High Performance Computing, International Symposium, 1997
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997
1996
EnCal: an automated forward deduction system for general-purpose entailment calculus.
Proceedings of the Advanced IT Tools, 1996
Proceedings of the COMPSAC '96, 1996
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).
Proceedings of the Concurrency and Parallelism, 1996
Proceedings of the Reliable Software Technologies, 1996
1995
Program Dependence Analysis of Concurrent Logic Programs and Its Applications.
Proceedings of the Logic Programming, 1995
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1993
Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.
Proceedings of the Parallel Computing: Trends and Applications, 1993
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993
Proceedings of the 1993 International Conference on Parallel Processing, 1993
Process dependence net of distributed programs and its applications in development of distributed systems.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993
1992
Proceedings of the Ada: Moving Towards 2000, 1992
1991
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991
Proceedings of the Ada: The Choice for '92, Ada-Europe International Conference, 1991
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic.
Proceedings of the 19th annual conference on Computer Science, 1991
1990
Proceedings of the conference on TRI-ADA 1990, 1990
1989
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989