Abdulelah Alwabel: A fault-tolerant mechanism for desktop cloud systems. University of Southampton, UK 2015