Login / Signup
Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation.
Marco Avvenuti
Cinzia Bernardeschi
Luca Cassano
Alessio Vecchio
Published 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