Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.
M. Carmen RuizHermenegilda MaciàJosé Antonio MateoFrancisco Javier CallejaPublished in: ICCS (2016)
Keyphrases
- formal analysis
- energy aware
- wireless sensor networks
- ban logic
- energy consumption
- routing protocol
- sensor networks
- energy efficiency
- routing algorithm
- high performance computing
- smart home
- energy efficient
- residual energy
- sensor nodes
- formal methods
- lightweight
- network lifetime
- resource constrained
- data center
- agent model
- data transmission
- base station
- key management
- multi hop
- reduce the energy consumption
- artificial intelligence
- mobile ad hoc networks
- machine learning
- wireless communication
- data dissemination
- fault tolerance
- ad hoc networks