489 search results - page 6 / 98 » Guiding Spin Simulation |
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we present a data dissemination protocol for efficiently distributing data through a sensor network in the face of node and link failures. Our work is motivated by t...
IPPS
2003
IEEE
14 years 27 days ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
WICSA
2008
13 years 9 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
WSC
1998
13 years 9 months ago
1998
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the major challenges of designing a dissemination protocol for Wireless Sensor Networks (WSNs) is energy efficiency. Flooding and SPIN, which are very well-known proactive ...