Optimal quorum for the model of computational grid with redundancy | IEEE Conference Publication | IEEE Xplore