Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer MAC Protocol in Wireless Multi Hop Sensor Networks Using Time Petri Nets.
Kechar BouabdellahLarbi SekhriPublished in: NTMS (2008)
Keyphrases
- energy efficient
- multi hop
- mac protocol
- sensor networks
- mac layer
- cross layer
- wireless ad hoc networks
- routing protocol
- wireless sensor networks
- energy consumption
- ad hoc networks
- mobile ad hoc networks
- sensor nodes
- base station
- transmission power
- energy efficiency
- power control
- sensor data
- data transmission
- cellular networks
- routing algorithm
- wireless networks
- network topology
- network layer
- physical layer
- data streams
- mobile nodes
- wireless mesh networks
- data sets
- video streaming
- cluster head
- multimedia services
- digital libraries
- multipath