495 search results - page 2 / 99 » A model for updates in a multi-agent setting |
ESWS
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
CAV
2009
Springer
13 years 8 months ago
2009
Springer
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...
ANOR
2007
13 years 5 months ago
2007
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
IAT
2005
IEEE
13 years 10 months ago
2005
IEEE
In many different applications on the Web, distributed agents would like to discover and access high quality information sources. This is a challenging problem since an agent does...