Formal Modeling and Verification of Property-based Resource Consumption Cycles.

Rania Ben Halima Kais Klai Mohamed Sellami Zakaria Maamar

Published in: SCC (2021)

Keyphrases

resource consumption
resource allocation
quality of service
solution quality
real time
metadata
relational databases
nearest neighbor
object oriented
response time
low cost
energy consumption
end to end
scheduling algorithm
query execution