37 search results - page 1 / 8 » Spin systems dynamics and faults detection in threshold netw... |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
SIVP
2010
13 years 3 months ago
2010
Resource aware operation of sensor networks requires adaptive re-organization to dynamically adapt to the operational environment. A complex dynamical system of interacting compone...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
DSN
2000
IEEE
13 years 9 months ago
2000
IEEE
Byzantine quorum systems [13] enhance the availability and efficiency of fault-tolerant replicated services when servers may suffer Byzantine failures. An important limitation of...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...