117 search results - page 8 / 24 » Avoiding State Explosion for Distributed Systems with Timest... |
80
Voted
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— Defensive islanding is an efficient way to avoid catastrophic failures and wide area blackouts. Power system splitting especially for large scale power systems is a combinatori...
102
click to vote
OPODIS
2003
14 years 11 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
JSW
2007
14 years 9 months ago
2007
— In this paper, we propose a distributed data storage framework that supports unrestricted offline access. The system does not explicitly distinguish between connected and disc...