Formal specification and analysis of performance variation in sensor network diffusion protocols.

Sule Nair Rachel Cardell-Oliver

Published in: MSWiM (2004)

Keyphrases

sensor networks
formal specification
wireless sensor networks
sensor data
data collection
communication cost
resource constrained
model checking
energy efficient
database
database systems
data streams
energy consumption
reverse engineering
sensor readings
visual sensor networks