Interval-Based Resource Usage Verification: Formalization and Prototype.

Pedro López-García Luthfi Darmawan Francisco Bueno Manuel V. Hermenegildo

Published in: FOPARA (2011)

Keyphrases

resource usage
resource management
resource allocation
resource consumption
real time
database
access patterns
data mining
multi agent
scheduling problem
management system
resource sharing