


Остановите войну!
for scientists:


default search action
Jingde Cheng
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [c148]Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng:
A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. ACIIDS (2) 2020: 41-52
2010 – 2019
- 2019
- [j11]Ying Liu
, Ke Wang, Liang Ge, Lei Ye, Jingde Cheng:
Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets. IEEE Access 7: 79810-79824 (2019) - [j10]Yuan Zhou
, Yuichi Goto
, Jingde Cheng:
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. 102-D(11): 2159-2175 (2019) - [c147]Jingchen Yan, Yating Wang, Yuichi Goto
, Jingde Cheng:
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI 2019: 399-408 - [c146]Hongbiao Gao, Jianbin Li, Jingde Cheng:
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. DASC/PiCom/DataCom/CyberSciTech 2019: 289-294 - [c145]Da Bao, Yuichi Goto
, Jingde Cheng:
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) 2019: 3-14 - [c144]Zhe Huang, Jiaxing Li, Jingde Cheng:
A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases. SKG 2019: 175-181 - 2018
- [j9]Jiannong Cao, Jingde Cheng, Jianhua Ma, Ju Ren:
Guest editorial: special issue on transparent computing. Peer-to-Peer Netw. Appl. 11(4): 665-667 (2018) - [c143]Hiromu Hiidome, Yuichi Goto
, Jingde Cheng:
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) 2018: 59-70 - [c142]Hongbiao Gao, Jianbin Li, Jingde Cheng:
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 168-173 - [c141]Takumi Otsuka, Kentaro Fukushi, Yuichi Goto
, Jingde Cheng:
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 180-185 - [c140]Sho Ishibashi, Jingchen Yan, Yuichi Goto
, Jingde Cheng:
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 192-197 - [c139]Yuan Zhou
, Daisuke Matsuura, Yuichi Goto
, Jingde Cheng:
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 198-203 - [c138]Da Bao, Wen Sun, Yuichi Goto
, Jingde Cheng:
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 204-209 - [c137]Jingchen Yan, Sho Ishibashi, Yuichi Goto
, Jingde Cheng:
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 210-215 - [c136]Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, Yi Pan
:
An Undergraduate Curriculum Model for Intelligence Science and Technology. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 234-239 - 2017
- [j8]Dancheng Li, Wei Wang, Quanzuo Li, Jingde Cheng:
A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation. IEEE Syst. J. 11(2): 898-909 (2017) - [c135]Kai Shi, Hai Yu
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. ACIIDS (2) 2017: 93-104 - [c134]Hongbiao Gao, Jingde Cheng:
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. ACIIDS (2) 2017: 115-124 - [c133]Yuichi Goto
, Hongbiao Gao, Jingde Cheng:
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) 2017: 125-134 - [c132]Yifeng Han, Hongbiao Gao, Jingde Cheng:
A Design of Evolutionary Personal Information Partner Based on Software as a Service. CSA/CUTE 2017: 407-412 - [c131]Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech 2017: 545-550 - 2016
- [c130]Bo Wang, Hongbiao Gao, Jingde Cheng:
Contract-Based Programming for Future Computing with Ada 2012. CBD 2016: 322-327 - [c129]Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng:
A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. CIS 2016: 249-253 - [c128]Yifeng Han, Hongbiao Gao, Jingde Cheng:
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS 2016: 461-465 - [c127]Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS 2016: 566-570 - [c126]Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng:
Development of a General-Purpose Offline E-Testing Environment. CIS 2016: 603-607 - [c125]Yuan Zhou
, Hongbiao Gao, Jingde Cheng:
An Extension of QSL for E-voting Systems. CSA/CUTE 2016: 87-96 - [c124]Zhi Wang, Zhaohua Zhou, Shilin Jia, Hao Liu, Dancheng Li, Jingde Cheng:
CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. SimuTools 2016: 37-45 - 2015
- [j7]Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, Jingde Cheng:
Prevention of Fault Propagation in Web Service: a Complex Network Approach. J. Web Eng. 14(1&2): 136-150 (2015) - [c123]Hongbiao Gao, Jingde Cheng:
An epistemic programming approach for automated theorem finding. ICCI*CC 2015: 49-58 - [c122]Jingde Cheng:
Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. ICCI*CC 2015: 175-183 - [c121]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) 2015: 593-602 - [c120]Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) 2015: 634-643 - [c119]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. IScIDE (2) 2015: 508-517 - 2014
- [j6]Ahmad Iqbal Hakim Suhaimi, Yuichi Goto
, Jingde Cheng:
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. 97-D(6): 1516-1527 (2014) - [j5]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554: 2-21 (2014) - [c118]Jingde Cheng:
Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. ACIIDS (2) 2014: 361-371 - [c117]Yuichi Goto
, Liqing Xu, Ning Zhang, Jingde Cheng:
User Management in Information Security Engineering Environment ISEE. PAISI 2014: 18-34 - [c116]Liqing Xu, Yuichi Goto
, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng:
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI 2014: 35-48 - 2013
- [j4]Kai Shi, Yuichi Goto
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. 96-D(11): 2385-2396 (2013) - [c115]Jianzhe Zhao, Ying Liu, Jingde Cheng:
Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) 2013: 41-50 - [c114]Kai Shi, Yuichi Goto
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) 2013: 117-126 - [c113]Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto
, Jingde Cheng:
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS 2013: 601-606 - [c112]Hongbiao Gao, Kai Shi, Yuichi Goto
, Jingde Cheng:
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON 2013: 697-704 - [c111]Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto
, Jingde Cheng:
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC 2013: 1179-1184 - [c110]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG 2013: 22-29 - 2012
- [c109]Hongbiao Gao, Kai Shi, Yuichi Goto
, Jingde Cheng:
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC 2012: 1859-1865 - [c108]Kazunori Wagatsuma, Yuichi Goto
, Jingde Cheng:
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC 2012: 1866-1871 - [c107]Yuichi Goto
, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng:
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC 2012: 1878-1883 - [c106]Yuichi Goto
, Jingde Cheng:
A Truth Maintenance System for Epistemic Programming Environment. SKG 2012: 1-8 - 2011
- [c105]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: 211-217 - [c104]Wencheng Fang, Isao Takahashi, Yuichi Goto
, Jingde Cheng:
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC 2011: 608-616 - 2010
- [c103]Chun-Yan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng:
Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. ICMLC 2010: 2641-2646
2000 – 2009
- 2009
- [c102]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 - [c101]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: 624-629 - [c100]Youcheng Chen, Mohammad Reza Selim, Yuichi Goto
, Jingde Cheng:
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646 - [c99]Ahmad Iqbal, Daisuke Horie, Yuichi Goto
, Jingde Cheng:
A Database System for Effective Utilization of ISO/IEC 27002. FCST 2009: 607-612 - [c98]Yuichi Goto
, Jingde Cheng:
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST 2009: 619-624 - [c97]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 - [c96]Jingde Cheng:
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. ICESS 2009: 241-248 - [c95]Jingde Cheng, Yuichi Goto
, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal:
Development of ISEE: An Information Security Engineering Environment. ISPA 2009: 505-510 - [c94]Jingde Cheng, Yuichi Goto, Daisuke Horie:
ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400 - [c93]Jingde Cheng:
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. SKG 2009: 18-25 - [p2]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: 149-158 - 2008
- [j3]Ying Gao, Jingde Cheng:
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Math. Struct. Comput. Sci. 18(1): 145-164 (2008) - [c92]Natsumi Kitajima, Yuichi Goto
, Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178 - [c91]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 - [c90]Jingde Cheng:
Evolutionary Personal Information Partners. CIS (1) 2008: 108-113 - [c89]Jingde Cheng:
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) 2008: 408-414 - [c88]Jingde Cheng:
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS 2008: 410-416 - [c87]Jingde Cheng:
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648 - [c86]Jingde Cheng:
Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102 - [c85]Jingde Cheng:
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172 - [c84]Takahiro Koh, Yuichi Goto, Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507 - [c83]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 - [c82]Yuichi Goto, Takahiro Koh, Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535 - [c81]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633 - [c80]Mohammad Reza Selim, Yuichi Goto
, Jingde Cheng:
Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59 - 2007
- [c79]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: 187-195 - [c78]Ying Gao, Jingde Cheng:
Operational Semantics for Positive Relevant Logics Without Distribution. CiE 2007: 325-335 - [c77]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 - [c76]Shoichi Morimoto, Jingde Cheng:
A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893 - [c75]Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
Distributed hash table based design of Soft System Buses. Infoscale 2007: 78 - [c74]Jingde Cheng, Shinsuke Nara, Yuichi Goto
:
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452 - [c73]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 - [c72]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 - [c71]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 - [c70]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto
, Jingde Cheng:
Formal verification of security specifications with common criteria. SAC 2007: 1506-1512 - [c69]Jingde Cheng:
A Semilattice Model for the Theory Grid. SKG 2007: 152-157 - [c68]Takumi Endo, Yuichi Goto, Jingde Cheng:
Measuring Reactability of Persistent Computing Systems. SC@ETAPS 2007: 144-151 - 2006
- [c67]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 - [c66]Jingde Cheng:
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638 - [c65]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 - [c64]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 - [c63]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 - [c62]Shoichi Morimoto, Daisuke Horie, Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10 - [c61]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 - [c60]Yuichi Goto, Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43 - [c59]Jingde Cheng:
Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320 - [c58]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 - [c57]Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
:
The Theory Grid and Grid Theorists. SKG 2006: 32 - [c56]Jingde Cheng:
Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC 2006: 1036-1041 - [c55]Ying Gao, Jingde Cheng:
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. LMCS 2006: 61-71 - [c54]Yuichi Goto
, Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. LMCS 2006: 87-97 - 2005
- [c53]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 - [c52]Shoichi Morimoto, Jingde Cheng:
Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951 - [c51]Jingde Cheng:
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320 - [c50]Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto
, Jingde Cheng:
Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883 - [c49]Jingde Cheng:
Comparing Persistent Computing with Autonomic Computing. ICPADS (2) 2005: 428-432 - [c48]Jingde Cheng:
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274 - [c47]Feng Shang, Jingde Cheng:
Anticipatory Agents Based on Anticipatory Reasoning. ISMIS 2005: 445-455 - [c46]Jingde Cheng:
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445 - [c45]Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 - [c44]Jingde Cheng:
Autonomous and Continuous Evolution of Information Systems. KES (1) 2005: 758-767 - 2004
- [c43]Jingde Cheng, Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126 - [c42]