97 search results - page 2 / 20 » Verifying Multi-Agent Systems by Model Checking Three-valued... |
89
Voted
DALT
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
110
Voted
CSFW
2012
IEEE
13 years 20 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
88
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
AAMAS
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
79
Voted
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...