146 search results - page 1 / 30 » Fault-Tolerant Distributed Theorem Proving |
CADE
1999
Springer
13 years 9 months ago
1999
Springer
TON
2010
13 years 3 months ago
2010
—We consider the problem of deploying or repairing a sensor network to guarantee a specified level of multi-path connectivity (k-connectivity) between all nodes. Such a guarante...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
COMSWARE
2007
IEEE
13 years 11 months ago
2007
IEEE
— In wireless sensor networks, minimizing power consumption and at the same time maintaining desired properties in the network topology is of prime importance. In this work, we p...
FORMATS
2004
Springer
13 years 8 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...