PICav: Precise, Iterative, and Complement-Based Cloud Storage Availability Calculation Scheme | IEEE Conference Publication | IEEE Xplore