Multiple-Backup Resource Allocation Model for Virtual Machines With Probabilistic Protection | IEEE Journals & Magazine | IEEE Xplore