Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.
Oliver SharmaJonathan LewisAlice MillerAlan DearleDharini BalasubramaniamRonald MorrisonJoe SventekPublished in: SPIN (2009)
Keyphrases
- wireless sensor networks
- energy consumption
- sensor networks
- resource limitations
- data transmission
- energy efficient
- data gathering
- database
- energy efficiency
- multi hop
- sensor nodes
- resource constrained
- data aggregation
- data collection
- routing algorithm
- room temperature
- power consumption
- base station
- wireless communication
- quality of service
- search algorithm
- data structure
- image segmentation
- decision making
- artificial intelligence
- machine learning