841 search results - page 56 / 169 » A secure architectural description language for agent system... |
128
click to vote
LCTRTS
2010
Springer
14 years 12 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
120
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
106
click to vote
IJCAI
1997
15 years 3 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
101
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
127
click to vote
IEEESCC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...