5831 search results - page 769 / 1167 » Distributed Dynamic Backtracking |
163
click to vote
RAS
2006
15 years 7 months ago
2006
Consequent to previously published theoretical work by Marshall, Broucke, and Francis, this paper summarizes the apparatus and results of multirobot coordination experiments condu...
229
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
207
click to vote
ADT
2005
15 years 7 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
217
click to vote
IOR
2007
15 years 7 months ago
2007
We consider the problem of maximizing capacity in a queueing network with flexible servers, where the classes and servers are subject to failure. We assume that the interarrival ...
185
click to vote
MAGS
2007
15 years 7 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...