A Reliable Broadcast Scheme for Sensor Networks
In this short technical report, we present a simple yet effective reliable broadcast protocol for sensor networks. This protocol disseminates packets throughout the sensor network by flooding and recovers from losses resulting from collisions by having hosts retransmit packets whenever they notice t...
Main Authors: | Livadas, Carolos, Lynch, Nancy A. |
---|---|
Other Authors: | Theory of Computation |
Language: | en_US |
Published: |
2005
|
Online Access: | http://hdl.handle.net/1721.1/30410 |
Similar Items
-
A Formal Venture into Reliable Multicast Territory
by: Livadas, Carolos, et al.
Published: (2023) -
Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols
by: Livadas, Carolos
Published: (2014) -
Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008) -
Optimal H₂/Popov controller design using linear matrix inequalities
by: Livadas, Carolos
Published: (2009) -
Formal Verification of Safety-Critical Hybrid Systems
by: Livadas, Carolos
Published: (2023)