7160 search results - page 219 / 1432 » Organizing Multiagent Systems |
131
click to vote
FUIN
2008
15 years 4 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
135
Voted
RE
2007
Springer
15 years 10 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
127
click to vote
PARELEC
2000
IEEE
15 years 8 months ago
2000
IEEE
The purpose of this paper is to demonstrate the implementation of an adaptable parallel architecture capable of system to task adaptation. The system implementation was based on X...
127
click to vote
AOSE
2006
Springer
15 years 7 months ago
2006
Springer
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
151
click to vote
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
Context-aware systems capture information from the attributes located within their surroundings and deal with different ways of interacting with the user in its environment. This p...