1448 search results - page 178 / 290 » Deadlock Detection in Distributed Systems |
138
click to vote
ICMLA
2009
15 years 2 months ago
2009
components of a system by susceptibility to failure. In this extended abstract, we present an ongoing project to rank the underground primary feeders of Consolidated Edison Company...
139
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
119
Voted
SSDBM
2006
IEEE
15 years 10 months ago
2006
IEEE
A phenomenon appears in a sensor network when a group of sensors persist to generate similar behavior over a period of time. PhenomenaBases (or databases of phenomena) are equippe...
145
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— In this paper the coverage control for mobile sensor networks is studied. The novelty is to consider an anisotropic sensor model where the performance of the sensor dep...
154
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...