Reliable transport for sensor networks: PSFQ - Pump slowly fetch quickly paradigm
Wireless sensor networks
Coordinated interaction using reliable broadcast in mobile wireless networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Review: Review of multicast routing mechanisms in mobile ad hoc networks
Journal of Network and Computer Applications
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
Fault tolerant and robust mutual exclusion protocol for synchronous distributed systems
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Coordinated interaction using reliable broadcast in mobile wireless networks
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
| Hi-index | 0.25 |
The reliable multicast protocol guarantees that all receivers place the source messages in the same order. We have changed this protocol from an event-driven protocol to a timed protocol in order to also guarantee that all of the receivers have a source message by a deadline. Certain of the control messages that are transmitted by the receivers in this protocol are scheduled to occur at specified times, rather than responding to other messages. This results in short sequences of protocol states that are independent of one another, rather than a protocol machine that is recursive and runs indefinitely. It is easier to prove the properties of these short sequences of events than to prove those of many protocols that have indefinitely long sequences