System Resource Utilization Analysis Based on Model Checking Method.

Ki-Seok Bang Hyun-Wook Jin Chuck Yoo Jin-Young Choi

Published in: Informatica (Slovenia) (2005)

Keyphrases

model checking
verification method
load balancing
temporal logic
resource management
resource utilization
database
data mining
object oriented