A Space and Time Requirements Logic for Sensor Networks.
Rachel Cardell-OliverMark ReynoldsMark KranzPublished in: ISoLA (2006)
Keyphrases
- sensor networks
- wireless sensor networks
- data collection
- resource constrained
- sensor data
- environmental monitoring
- data aggregation
- energy efficient
- communication bandwidth
- sensor nodes
- energy consumption
- communication cost
- sensor readings
- data streams
- network connectivity
- routing protocol
- mobile sensor networks
- heterogeneous sensor networks
- sensor web
- visual sensor networks
- data gathering
- energy efficiency
- base station
- data sets
- data dissemination
- underwater acoustic
- mobile wireless
- key establishment
- image processing
- real time