Sciweavers

9490 search results - page 440 / 1898
» Slow Intelligence Systems
Sort
View
ATAL
2005
Springer
16 years 11 days ago
Coordination and composition in multi-agent systems
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
FAABS
2000
Springer
15 years 10 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
TABLEAUX
2000
Springer
15 years 10 months ago
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
Fabio Massacci, Francesco M. Donini
ATAL
2008
Springer
15 years 8 months ago
Do humans identify efficient strategies in structured peer-to-peer systems?
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
Stephan Schosser, Klemens Böhm, Bodo Vogt
ECAI
2004
Springer
16 years 7 days ago
Diagnosability Analysis of Distributed Discrete Event Systems
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
Yannick Pencolé