On software verification for sensor nodes.
Doina BucurMarta Z. KwiatkowskaPublished in: J. Syst. Softw. (2011)
Keyphrases
- sensor nodes
- wireless sensor networks
- sensor networks
- energy consumption
- sensor data
- base station
- data transmission
- mobile sensor networks
- energy efficient
- energy efficiency
- resource constrained
- wireless multimedia sensor networks
- sensed data
- routing protocol
- wireless communication
- environmental monitoring
- location information
- multi hop
- data aggregation
- resource limitations
- sink node
- residual energy
- mobile devices
- routing algorithm
- end to end
- neighboring nodes
- battery power
- quality of service
- data collection
- active learning