Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation | IEEE Conference Publication | IEEE Xplore