Formal Analysis of Energy Consumption in IoT Systems.
Oualid DemighaChamseddine KhalfiPublished in: IoTBDS (2019)
Keyphrases
- energy consumption
- formal analysis
- wireless sensor networks
- management system
- formal methods
- energy efficient
- energy efficiency
- energy saving
- data transmission
- sensor networks
- energy conservation
- routing algorithm
- knowledge based systems
- sensor nodes
- multi hop
- data center
- routing protocol
- lightweight
- cloud computing
- electricity consumption
- machine learning
- base station
- artificial intelligence