Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.
Beom Heyn KimDavid LiePublished in: IEEE Symposium on Security and Privacy (2015)
Keyphrases
- battery powered
- power consumption
- cloud services
- low cost
- data center
- cloud computing
- energy efficient
- energy consumption
- energy efficiency
- sensor nodes
- wireless sensor networks
- computing resources
- virtual machine
- sensor networks
- secure communication
- service providers
- real time
- database
- cost effective
- database systems
- database design
- data sets
- data management
- allocation strategies
- intelligent systems