A Quantitative Evaluation Model for Choosing Efficient Redundancy Strategies over Clouds | IEEE Conference Publication | IEEE Xplore