Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation.
Marco AvvenutiCinzia BernardeschiLuca CassanoAlessio VecchioPublished in: Ad Hoc Sens. Wirel. Networks (2016)
Keyphrases
- formal specification
- duty cycle
- traffic load
- energy efficiency
- wireless sensor networks
- energy consumption
- model checking
- network lifetime
- power consumption
- energy efficient
- real time
- routing algorithm
- sensor networks
- sensor nodes
- long period
- network resources
- reverse engineering
- multi hop
- formal methods
- mac protocol
- data center
- data transmission
- routing protocol
- response time
- smart home
- base station
- clock frequency
- software components
- mobile agents
- shortest path
- information systems