Formal analysis of policies in wireless sensor network applications.

Marco Patrignani Nelson Matthys José Proença Danny Hughes Dave Clarke

Published in: SESENA (2012)

Keyphrases

formal analysis
wireless sensor networks
sensor networks
energy consumption
formal methods
resource limitations
optimal policy
energy efficient
artificial intelligence
lightweight
sensor nodes
routing protocol
ban logic
agent model
databases
ad hoc networks
database
web services