851 search results - page 72 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
124
click to vote
ICMAS
2000
15 years 4 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
122
click to vote
ECOI
2010
15 years 1 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
139
Voted
WIAS
2008
15 years 3 months ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
181
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
128
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...