Correlation Modeling and Resource Optimization for Cloud Service With Fault Recovery | IEEE Journals & Magazine | IEEE Xplore