Login / Signup
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.
Michael J. Ocean
Assaf J. Kfoury
Azer Bestavros
Published in:
MOMPES (2009)
Keyphrases
</>
resource allocation
formal methods
resource management
resource requirements
resource usage
user centric
scarce resources
optimal resource allocation
cooperative
game theory
approximation algorithms
power allocation