Login / Signup

Interval-Based Resource Usage Verification: Formalization and Prototype.

Pedro López-GarcíaLuthfi DarmawanFrancisco BuenoManuel 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