Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Pedro López-GarcíaLuthfi DarmawanMaximiliano KlemenUmer LiqatFrancisco BuenoManuel V. HermenegildoPublished in: Theory Pract. Log. Program. (2018)
Keyphrases
- energy consumption
- horn clauses
- resource usage
- resource utilization
- wireless sensor networks
- resource management
- resource allocation
- energy efficiency
- first order logic
- energy saving
- logic programs
- resource consumption
- inference rules
- sensor networks
- model checking
- inductive logic programming
- data center
- base station
- data transmission
- routing algorithm
- resource sharing
- routing protocol
- real time
- database queries
- data access
- sensor nodes