 | 2009 |
|---|
| 84 |       | 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: 897-902 |
| 83 | | Natsumi Kitajima,
Yuichi Goto,
Jingde Cheng:
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.
HAIS 2009: 68-76 |
| 82 |  | Jingde Cheng,
Yuichi Goto,
Daisuke Horie:
ISEE: An Information Security Engineering Environment.
SECRYPT 2009: 395-400 |
| 2008 |
|---|
| 81 | | 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 |
| 80 | | Natsumi Kitajima,
Yuichi Goto,
Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems.
ARES 2008: 171-178 |
| 79 | | Jingde Cheng:
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing.
EUC (1) 2008: 408-414 |
| 78 | | Jingde Cheng:
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.
ISICA 2008: 637-648 |
| 77 | | Jingde Cheng:
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study.
JCKBSE 2008: 163-172 |
| 76 | | Jingde Cheng:
Deontic Relevant Logic in Knowledge-based Requirements Engineering.
JCKBSE 2008: 97-102 |
| 75 | | Takahiro Koh,
Yuichi Goto,
Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines.
KES (2) 2008: 499-507 |
| 74 | | 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 | | Yuichi Goto,
Takahiro Koh,
Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
KES (2) 2008: 526-535 |
| 72 | | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM 2008: 622-633 |
| 71 | | 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 | | Ying Gao,
Jingde Cheng:
Operational Semantics for Positive Relevant Logics Without Distribution.
CiE 2007: 325-335 |
| 69 | | Mohammad Reza Selim,
Takumi Endo,
Yuichi Goto,
Jingde Cheng:
Distributed hash table based design of Soft System Buses.
Infoscale 2007: 78 |
| 68 | | 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 | | Shoichi Morimoto,
Jingde Cheng:
A Security Specification Library with a Schemaless Database.
International Conference on Computational Science (3) 2007: 890-893 |
| 66 | | Jingde Cheng,
Shinsuke Nara,
Yuichi Goto:
FreeEnCal: A Forward Reasoning Engine with General-Purpose.
KES (2) 2007: 444-452 |
| 65 | | 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 | | 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 | | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Formal verification of security specifications with common criteria.
SAC 2007: 1506-1512 |
| 62 | | 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 | | Takumi Endo,
Yuichi Goto,
Jingde Cheng:
Measuring Reactability of Persistent Computing Systems.
Software Composition 2007: 144-151 |
| 60 | | 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 | | 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 | | 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 | | Jingde Cheng:
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems.
ARES 2006: 631-638 |
| 56 | | 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 | | 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 | | Shoichi Morimoto,
Daisuke Horie,
Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408.
ICCSA (3) 2006: 1-10 |
| 53 | | 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 | | 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 | | 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 | | Jingde Cheng:
Deontic relevant logic as the logical basis for legal information systems.
SAC 2006: 319-320 |
| 49 | | Yuichi Goto,
Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic.
SAC 2006: 42-43 |
| 48 | | Jingde Cheng,
Shinsuke Nara,
Takahiro Koh,
Yuichi Goto:
The Theory Grid and Grid Theorists.
SKG 2006: 32 |
| 2005 |
|---|
| 47 | | 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 | | Takumi Endo,
Junichi Miura,
Koichi Nanashima,
Shoichi Morimoto,
Yuichi Goto,
Jingde Cheng:
Security in Persistently Reactive Systems.
EUC Workshops 2005: 874-883 |
| 43 | | Jingde Cheng:
Comparing Persistent Computing with Autonomic Computing.
ICPADS (2) 2005: 428-432 |
| 42 | | Jingde Cheng:
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems.
ICTAI 2005: 270-274 |
| 41 | | Feng Shang,
Jingde Cheng:
Anticipatory Agents Based on Anticipatory Reasoning.
ISMIS 2005: 445-455 |
| 40 | | Jingde Cheng:
Autonomous and Continuous Evolution of Information Systems.
KES (1) 2005: 758-767 |
| 39 | | Jingde Cheng:
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships.
KES (2) 2005: 437-445 |
| 38 | | Shinsuke Nara,
Takashi Omi,
Yuichi Goto,
Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics.
KES (2) 2005: 739-745 |
| 2004 |
|---|
| 37 | | Jingde Cheng,
Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic.
ER (Workshops) 2004: 114-126 |
| 36 | | 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 | | Jingde Cheng:
Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic.
KES 2003: 68-80 |
| 2002 |
|---|
| 34 | | 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 | | Takahiro Tagawa,
Jingde Cheng:
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic.
PRICAI 2002: 39-48 |
| 2001 |
|---|
| 31 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Computing Executable Slices for Concurrent Logic Programs.
APAQS 2001: 13-22 |
| 30 | | Yusuka Nonaka,
Kazuo Ushijima,
Hibiki Serizawa,
Shigeru Murata,
Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs.
APSEC 2001: 45-52 |
| 29 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs.
COMPSAC 2001: 531-537 |
| 28 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Program Dependence Model for Concurrent Logic Programs and its Applications.
ICSM 2001: 672-681 |
| 2000 |
|---|
| 27 | | 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 | | 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 | | Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract).
PAKDD 1999: 489-493 |
| 1998 |
|---|
| 20 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Metrics Suite for Concurrent Logic Programs.
CSMR 1998: 172-178 |
| 19 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.
CSMR 1998: 60-66 |
| 18 | | Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.
Discovery Science 1998: 403-404 |
| 1997 |
|---|
| 17 | | 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 | | 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 | | Jianjun Zhao,
Jingde Cheng,
Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs.
COMPSAC 1996: 312-320 |
| 11 | | 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 | | 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) |
