841 search results - page 116 / 169 » A secure architectural description language for agent system... |
194
click to vote
KI
2012
Springer
14 years 2 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
194
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
271
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
218
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
168
click to vote
ECML
2007
Springer
16 years 27 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...