GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks.
Ludovic SamperFlorence MaraninchiLaurent MounierLouis MandelPublished in: InterSense (2006)
Keyphrases
- sensor networks
- formal models
- wireless sensor networks
- energy efficient
- sensor nodes
- data streams
- data collection
- sensor data
- energy consumption
- routing protocol
- environmental monitoring
- base station
- resource constrained
- data analysis
- mobile wireless
- data aggregation
- communication cost
- sensor readings
- communication bandwidth
- expert systems
- heterogeneous sensor networks