A Formal Model for Programming Wireless Sensor Networks
Luís M. B. LopesFrancisco MartinsMiguel S. SilvaJoão BarrosPublished in: CoRR (2007)
Keyphrases
- formal model
- wireless sensor networks
- sensor nodes
- energy efficient
- programming language
- sensor networks
- data aggregation
- environmental monitoring
- energy efficiency
- energy consumption
- routing algorithm
- wireless communication
- routing protocol
- programming environment
- security properties
- predicate calculus
- base station
- data gathering
- data streams
- object oriented programming
- key management
- security patterns