Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols | IEEE Conference Publication | IEEE Xplore