Probabilistic verification of sensor networks.
Akim DemailleThomas HéraultSylvain PeyronnetPublished in: RIVF (2006)
Keyphrases
- sensor networks
- wireless sensor networks
- environmental monitoring
- data collection
- underwater acoustic
- sensor data
- energy consumption
- energy efficient
- data streams
- sensor nodes
- communication cost
- data aggregation
- data dissemination
- resource constrained
- sensor readings
- communication bandwidth
- mobile wireless
- sensor web
- mobile sensor networks
- energy efficiency
- data gathering
- routing protocol
- pairwise
- mobile sensor
- real time
- aggregation queries
- energy aware
- quality of service
- motion estimation
- image processing