405 search results - page 21 / 81 » Open Systems Formal Evaluation Process |
117
click to vote
DFKI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
113
click to vote
NFM
2011
14 years 5 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
102
click to vote
KI
2012
Springer
13 years 6 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
113
click to vote
DBSEC
1996
14 years 12 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...