813 search results - page 21 / 163 » Correctness Properties for Multiagent Systems |
136
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- In a first paper we studied system theoretic properties of patterned systems and solved classical control synthesis problems with the added requirement to preserve the s...
125
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
190
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
159
click to vote
IJAOSE
2008
15 years 4 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
138
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...