Sciweavers

123 search results - page 5 / 25
» Supporting Internet-scale multi-agent systems
Sort
View
AGENTS
2000
Springer
15 years 4 months ago
Tools for Developing and Monitoring Agents in Distributed Multi-Agent Systems
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
John R. Graham, Daniel McHugh, Michael Mersic, Fos...
DLOG
2006
15 years 1 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
IJSEKE
2008
103views more  IJSEKE 2008»
14 years 11 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz
EEMMAS
2007
Springer
15 years 6 months ago
Environment Support to the Management of Context Awareness Information
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
Marco P. Locatelli, Giuseppe Vizzari
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 3 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi