Availability Modeling and Assurance of Map-Reduce Computing | IEEE Conference Publication | IEEE Xplore