Toward a high availability cloud: Techniques and challenges | IEEE Conference Publication | IEEE Xplore