Sciweavers

33 search results - page 2 / 7
» Modelling project coordination in a multi-agent framework
Sort
View
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
13 years 9 months ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
13 years 10 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
WETICE
1996
IEEE
13 years 10 months ago
Modelling project coordination in a multi-agent framework
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
ENTCS
2002
144views more  ENTCS 2002»
13 years 5 months ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni
IIWAS
2008
13 years 7 months ago
Double-agent architecture for collaborative supply chain formation
Supply chains have evolved to web-applications that tap on the power of internet to expand their networks online. Recently some research attention is focused on make-to-order supp...
Yang Hang, Simon Fong