ConTracts: a means for improving reliability in distributed computing | IEEE Conference Publication | IEEE Xplore