2979 search results - page 242 / 596 » Modelling secure multiagent systems |
162
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
153
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
152
Voted
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
102
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Multi-agent teams must be capable of selecting the most beneficial teammates for different situations. Multi-dimensional trustworthiness assessments have been shown significantly ...
151
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...