307 search results - page 52 / 62 » Formalizing Communication Protocols for Multiagent Systems |
VRML
1999
ACM
15 years 2 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
CIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The description of public resources such as web site contents, web services or data ļ¬les in open peer-to-peer networks using some formal framework like RDF usually reļ¬...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
Generating test data for formal state based speciļ¬cations is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...