2979 search results - page 22 / 596 » Modelling secure multiagent systems |
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...
ATAL
2005
Springer
14 years 27 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
PAAMS
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents an improved version of a multiagent architecture aimed at providing solutions for monitoring the interaction between the atmosphere and the ocean. The ocean sur...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
IEEEARES
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...