On Boosting Cloud Service Dependability through Optimized Checkpointing | IEEE Conference Publication | IEEE Xplore