Modeling the effects of data and resource contention on the performance of optimistic concurrency control protocols | IEEE Conference Publication | IEEE Xplore