Resource scheduling: specification and proof techniques.

Chyuan Samuel Hsieh Elizabeth A. Unger

Published in: ACM Conference on Computer Science (1988)

Keyphrases

xml documents
resource scheduling
load balancing
quality management
grid systems
fuzzy logic
distributed systems
business rules