Modeling and Verifying Configuration in Service Deployment.

Ying Li Jie Qiu Kewei Sun Ying Chen

Published in: IEEE SCC (2006)

Keyphrases

databases
modeling method
machine learning
e learning
management system
real time
service providers
model checking