Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.
Maissa ElleuchOsman HasanSofiène TaharMohamed AbidPublished in: ICFEM (2011)
Keyphrases
- scheduling algorithm
- formal analysis
- wireless sensor networks
- response time
- sensor networks
- energy consumption
- energy efficient
- scheduling strategy
- data aggregation
- data transmission
- sensor nodes
- base station
- formal methods
- multi hop
- routing algorithm
- agent model
- energy efficiency
- scheduling policies
- wireless communication
- resource constrained
- ban logic
- lightweight
- routing protocol
- load balance
- database systems
- key management
- cloud computing
- data dissemination
- computational grids
- knowledge based systems