A systematic methodology for automated theorem finding von Gao, Hongbiao, Goto, Yuichi, Cheng, Jingde

Volltext

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems von ZHOU, Yuan, GOTO, Yuichi, CHENG, Jingde

Volltext

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic von Gao, Hongbiao, Cheng, Jingde

Volltext

Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets von Liu, Ying, Wang, Ke, Ge, Liang, Ye, Lei, Cheng, Jingde

Volltext

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory von Gao, Hongbiao, Goto, Yuichi, Cheng, Jingde

Volltext

A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation von Li, Dancheng, Wang, Wei, Li, Quanzuo, Cheng, Jingde

Volltext

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systems von Cheng, Jingde

Volltext

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory von Gao, Hongbiao, Goto, Yuichi, Cheng, Jingde

Volltext

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs von SUHAIMI, Ahmad Iqbal Hakim, GOTO, Yuichi, CHENG, Jingde

Volltext

Anticipatory Runway Incursion Prevention Systems von SHI, Kai, GOTO, Yuichi, ZHU, Zhiliang, CHENG, Jingde

Volltext

Connecting components with soft system buses: a new methodology for design, development, and maintenance of reconfigurable, ubiquitous, and persistent reactive systems von Jingde Cheng

Volltext

Autonomous and Continuous Evolution of Information Systems von Cheng, Jingde

Volltext

Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning von Jingde Cheng

Volltext

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045 von Bao, Da, Goto, Yuichi, Cheng, Jingde

Volltext

Anticipatory agents based on anticipatory reasoning von FENG SHANG, JINGDE CHENG

Volltext

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs von Suhaimi, Ahmad Iqbal Hakim, Goto, Yuichi, Cheng, Jingde

Volltext

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control von Kitajima, Natsumi, Goto, Yuichi, Cheng, Jingde

Volltext

Ubisafe computing : Vision and challenges (I) von JIANHUA MA, QIANGFU ZHAO, CHAUDHARY, Vipin, JINGDE CHENG, YANG, Laurence T, RUNHE HUANG, QUN JIN

Volltext

Anticipatory Runway Incursion Prevention Systems von Shi, Kai, Goto, Yuichi, Zhu, Zhiliang, Cheng, Jingde

Volltext

A New Definition-Use Net Generator for Ada 2012 Programs von Wang, Bo, Gao, Hongbiao, Cheng, Jingde

Volltext