| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jian Xiao, Jizhou Sun, Gang Li, Chun Li, Sen Li, Jingde Cheng |
MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus.  |
ENASE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng |
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. |
ICMLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng |
GEST: A Generator of ISO/IEC 15408 Security Target Templates. |
Computer and Information Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal |
Development of ISEE: An Information Security Engineering Environment. |
ISPA |
2009 |
DBLP DOI BibTeX RDF |
Information security engineering environment, ISO/IEC security standards, Consistent development, Continuous maintenance, Security engineering |
| 1 | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. |
HAIS |
2009 |
DBLP DOI BibTeX RDF |
Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions |
| 1 | Jingde Cheng, Yuichi Goto, Daisuke Horie |
ISEE: An Information Security Engineering Environment. |
SECRYPT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng |
An Improvement of REM: A Replication Oriented Event-Based Middleware. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng |
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng |
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. |
HIS |
2008 |
DBLP DOI BibTeX RDF |
Anticipatory Reasoning, Relevant Reasoning, Temporal Relevant Logic, Adaptive Prediction |
| 1 | Jingde Cheng |
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. |
KES |
2008 |
DBLP DOI BibTeX RDF |
Knowledge management, Knowledge representation, Knowledge discovery, Deontic logic, Legal reasoning, Relevant logic |
| 1 | Takahiro Koh, Yuichi Goto, Jingde Cheng |
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. |
KES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Goto, Takahiro Koh, Jingde Cheng |
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. |
KES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Evolutionary Personal Information Partners. |
CIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Deontic Relevant Logic in Knowledge-based Requirements Engineering. |
JCKBSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. |
JCKBSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. |
EUC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. |
ISICA |
2008 |
DBLP DOI BibTeX RDF |
Relevant and truth-preserving reasoning, Ampliative reasoning, Paracomplete and paraconsistent reasoning, Three-dimensional spatio-temporal relevant logic, Spatio-temporal reasoning |
| 1 | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng |
Ensuring Reliability and Availability of Soft System Bus. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Classification, Formalization and Verification of Security Functional Requirements. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng |
ISEDS: An Information Security Engineering Database System Based on ISO Standards. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, An Information Security Engineering Database System, Supporting design of security facilities, Supporting maintenance of security facilities, Information security, Common Criteria |
| 1 | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
computing anticipatory systems, action reasoning engine, decision-making, qualitative reasoning, reasoning about actions |
| 1 | Yuichi Goto, Jingde Cheng |
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Gao, Jingde Cheng |
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Jingde Cheng |
A Security Specification Library with a Schemaless Database. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Digital pattern processing, Common criteria |
| 1 | Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng |
EPLAS: An Epistemic Programming Language for All Scientists. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Computer-aided scientific discovery, Epistemic process, Strong relevant logic, Scientific methodology |
| 1 | Takumi Endo, Yuichi Goto, Jingde Cheng |
Measuring Reactability of Persistent Computing Systems. |
Software Composition |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
anonymous ownership transfer, grain 1 stream-cipher, product lifecycle, privacy, protocol, RFID tag |
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Formal verification of security specifications with common criteria. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, theorem-proving, Z notation |
| 1 | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh |
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. |
KES |
2007 |
DBLP DOI BibTeX RDF |
Theory grid, Grid theorists, Knowledge web, Knowledge discovery, Knowledge sharing, Knowledge creation |
| 1 | Jingde Cheng, Shinsuke Nara, Yuichi Goto |
FreeEnCal: A Forward Reasoning Engine with General-Purpose. |
KES |
2007 |
DBLP DOI BibTeX RDF |
Advanced Knowledge-Based Systems, Prediction, Induction, Discovery, Abduction, Deduction, Creation |
| 1 | Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri |
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng |
A replication oriented approach to event based middleware over structured peer to peer networks. |
MPAC |
2007 |
DBLP DOI BibTeX RDF |
event broker, event dissemination tree, publish-subscribe model, rendezvous node, structured p2p protocol, overlay network, event based middleware |
| 1 | Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng |
Distributed hash table based design of Soft System Buses. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
chord protocol, soft system bus, middleware, distributed hash table |
| 1 | Ying Gao, Jingde Cheng |
Operational Semantics for Positive Relevant Logics Without Distribution. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Operational semantics, Relevant logics |
| 1 | Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng |
A Comparative Study Between Soft System Bus and Traditional Middlewares. |
OTM Workshops |
2006 |
DBLP DOI BibTeX RDF |
Soft System Bus, Data/Instruction Station, Middleware |
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Goto, Jingde Cheng |
A quantitative analysis of implicational paradoxes in classical mathematical logic. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
automated forward deduction, strong relevance, knowledge representation and reasoning, relevant logics |
| 1 | Jingde Cheng |
Deontic relevant logic as the logical basis for legal information systems. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
legal knowledge representation and reasoning, relevant logic |
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
A security specification verification technique based on the international standard ISO/IEC 15408. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
theorem-proving, Z notation, common criteria |
| 1 | Jingde Cheng |
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin |
Ubisafe Computing: Vision and Challenges (I). |
ATC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Daisuke Horie, Jingde Cheng |
A Security Requirement Management Database Based on ISO/IEC 15408. |
ICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto |
The Theory Grid and Grid Theorists. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Junichi Miura |
Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Shang, Jingde Cheng |
Anticipatory Agents Based on Anticipatory Reasoning. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. |
EJC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. |
KES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Autonomous and Continuous Evolution of Information Systems. |
KES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng |
A General-Purpose Forward Deduction Engine for Modal Logics. |
KES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Comparing Persistent Computing with Autonomic Computing. |
ICPADS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Jingde Cheng |
Patterning Protection Profiles by UML for Security Specifications. |
CIMCA/IAWTIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |
Security in Persistently Reactive Systems. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Yuichi Goto |
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Masato Koide, Jingde Cheng |
A toolkit for developing programs of card game played on the internet. |
IWEC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Romi S. Wahono, Jingde Cheng |
Extensible Requirements Patterns of Web Application for Efficient Web Application Development. |
CW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Tagawa, Jingde Cheng |
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
A Run-Time Deadlock Detector for Concurrent Java Programs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
Computing Executable Slices for Concurrent Logic Programs. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
A Program Dependence Model for Concurrent Logic Programs and its Applications. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
Monitoring facilities in languages supporting development of concurrent self-measurement programs. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring |
| 1 | Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima |
A Supporting Tool for Development of Self-Measurement Ada Programs. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Temporal relevant logic as the logical basis of autonomous evolutionary information systems. |
IRMA Conference |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Designing, developing, and maintaining concurrent systems based on self-measurement principle. |
IRMA Conference |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima |
A System Dependence Net Generator for Ada Programs. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
Ada, concurrency, program dependences |
| 1 | Jingde Cheng |
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). |
PAKDD |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. |
EJC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
A Metrics Suite for Concurrent Logic Programs. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. |
Discovery Science |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Dependence Analysis of Parallel and Distributed Programs and Its Applications. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Kazunori Nishi, Jingde Cheng, Kazuo Ushijima |
Improving the Performance of Automated Forward Deduction System EnCal. |
ISHPC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
Static Slicing of Concurrent Object-Oriented Programs. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Kazuo Ushijima |
Tasking Deadlocks in Ada 95 Programs and Their Detection. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
Program dependence analysis of concurrent logic programs and its applications. (PDF / PS) |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs |
| 1 | Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima |
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
EnCal: an automated forward deduction system for general-purpose entailment calculus. |
IFIP World Conference on IT Tools |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Integrated support environment, Program transformation, Program representations, Distributed software development, Program dependences |
| 1 | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Dependence-Based Complexity Metrics for Distributed Programs. |
ICPP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Slicing Concurrent Programs - A Graph-Theoretical Approach. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jingde Cheng |
Task Dependence Net as a Representation for Concurrent Ada Programs. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijiro Araki, Zengo Furukawa, Jingde Cheng |
A General Framework for Debugging. |
IEEE Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng, Kazuo Ushijima |
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. |
Ada-Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
An Algebraic Semantics of Notional Entailment Logic Cn. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")