搜索结果: 1-4 共查到“计算机软件 Properties”相关记录4条 . 查询时间(0.171 秒)
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Construction of a Database of Secondary Structure Segments and Short Regions of Disorder and Analysis of Their Properties
database
2015/1/9
Construction of a Database of Secondary Structure Segments and Short Regions of Disorder and Analysis of Their Properties.
Analysing the Required Properties of Business Simulation Games to Be Used in E-Learning and Education
Serious Games Business Simulation Games E-Learning Problem-Based Learning Business Environment
2013/1/28
Business simulation games are considered as effective tools for the empowerment and mediation of business content learning. They act as serious games which contribute to learning through a simulation ...
The Application of Intentional Subjective Properties and Mediated Communication Tools to Software Agents in Online Disputes Resolution Environments
Intentional Subjective Properties Mediated Communication Tools Software Agents Online Disputes Resolution Environments
2009/12/7
This paper examines the use of subjective properties in modeling an architecture for cooperative agents using Agent Communication Language (ACL) that is used as a mediating tool for cooperative commun...