Software composition and verification for sensor networks.
Péter VölgyesiMiklós MarótiSebestyen DóraEsteban OssesÁkos LédecziPublished in: Sci. Comput. Program. (2005)
Keyphrases
- sensor networks
- wireless sensor networks
- sensor data
- energy efficient
- sensor nodes
- data collection
- environmental monitoring
- underwater acoustic
- data streams
- communication bandwidth
- resource constrained
- data aggregation
- communication cost
- energy consumption
- software design
- sensor readings
- mobile sensor networks
- base station
- energy efficiency
- software systems
- sensor web
- heterogeneous sensor networks
- data dissemination
- data gathering
- multi hop
- low complexity
- computational complexity
- network connectivity
- mobile wireless
- end to end