Sciweavers

2870 search results - page 77 / 574
» Synchronization of multi-agent systems
Sort
View
129
Voted
DALT
2004
Springer
15 years 8 months ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
105
Voted
FLAIRS
2004
15 years 4 months ago
Constraint Processing with Reactive Agents
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
Georg Ringwelski, Richard J. Wallace
105
Voted
ESAW
2004
Springer
15 years 8 months ago
T-Compound Interaction and Overhearing Agents
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
145
Voted
CAISE
2005
Springer
15 years 4 months ago
CATO - A Lightweight Ontology Alignment Tool
Ontologies are becoming increasingly common in the World Wide Web as the building block for a future Semantic Web. In this Web, ontologies will be responsible for making the semant...
Karin Koogan Breitman, Carolina Howard Felic&iacut...
114
Voted
JCIT
2010
113views more  JCIT 2010»
14 years 9 months ago
Dynamic Integrated Algorithm for Production Scheduling Based on Iterative Search
It is quite difficult to adapt to the changing production scheduling problem for an algorithm of a certain question. According to this, a strategy of dynamic integrated iterative ...
Cunli Song, Xiaobing Liu, Wei Wang, Ming Huang