32 search results - page 2 / 7 » Verifying Interlevel Relations Within Multi-Agent Systems |
IBERAMIA
2004
Springer
13 years 11 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...
SAC
2002
ACM
13 years 5 months ago
2002
ACM
A multi-agent system architecture for coordination of just-in-time production and distribution is presented. The problem to solve is two-fold: first the right amount of resources ...