11561 search results - page 456 / 2313 » Open Distributed Processing |
196
click to vote
SBMF
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
223
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
175
click to vote
HOLOMAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
185
click to vote
JSA
1998
15 years 7 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
286
click to vote
NGC
2010
Springer
15 years 2 months ago
2010
Springer
A key to overcoming the limitations of classical artificial intelligence and to deal well with enormous amounts of information might be brain-like computing in which distributed re...