1324 search results - page 77 / 265 » Process Coordination with Fetch-and-Increment |
135
click to vote
AIMSA
2008
Springer
16 years 20 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
205
click to vote
IADT
1998
15 years 7 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
170
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
150
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
The success of Wikipedia and the relative high quality of its articles seem to contradict conventional wisdom. Recent studies have begun shedding light on the processes contributi...
142
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— To coordinate a team of robots for exploration is a challenging problem, particularly in large areas as for example the devastated area after a disaster. This problem c...