Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Wireless sensor networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
Impact of Network Density on Data Aggregation in Wireless Sensor Networks
ICDCS '02 Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02)
Trajectory based forwarding and its applications
Proceedings of the 9th annual international conference on Mobile computing and networking
Medium access control with coordinated adaptive sleeping for wireless sensor networks
IEEE/ACM Transactions on Networking (TON)
On using battery state for medium access control in ad hoc wireless networks
Proceedings of the 10th annual international conference on Mobile computing and networking
Gossiping using the energy map in wireless sensor networks
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
Geographic Random Forwarding (GeRaF) for Ad Hoc and Sensor Networks: Energy and Latency Performance
IEEE Transactions on Mobile Computing
Data dissemination based on the energy map
IEEE Communications Magazine
| Hi-index | 0.00 |
Data communication represents the greatest energy cost of Wireless Sensor Networks. Both MAC and network layers of the protocol stack are responsible for data communication in these networks. This work proposes the Receiverbased Medium Access Control (Rb-MAC) protocol to be used in a combined solution with a receiver-based routing scheme. The main advantage of combining receiver-based MAC and routing protocols is that this solution does not use neighbor tables and, consequently, it saves energy when compared with MAC and routing protocols that use these tables. Simulation results reveal that receiver-based data communication has a great data delivery ratio, and reduces energy consumption, number of transmissions, and collisions wben compared with a senderbased data communication. Moreover, we use a model checking techDique to perform the formal verification of Rb-MAC.