A Formal Model of Dynamic Resource Allocation in Grid Computing Environment.

Leila Ismail Bruce Mills Alain Hennebelle

Published in: SNPD (2008)

Keyphrases

formal model
dynamic resource allocation
grid computing environment
resource allocation
peer to peer
grid computing
resource management
allocation policies
formal models
grid resource
predicate calculus
security patterns
database
software engineering
life cycle