A methodology for extracting temporal properties from sensor network data streams.
Dimitrios LymberopoulosAthanasios BamisAndreas SavvidesPublished in: MobiSys (2009)
Keyphrases
- sensor networks
- temporal properties
- data streams
- model checking
- sensor data
- data collection
- wireless sensor networks
- environmental monitoring
- sensor nodes
- formal methods
- energy consumption
- resource constrained
- underwater acoustic
- energy efficient
- possibility theory
- communication cost
- data sets
- energy efficiency
- sensor readings
- mobile sensor networks
- base station
- data distribution
- sensor web
- data aggregation
- real time
- ontology driven
- expert systems
- decision making
- visual sensor networks