Incorporating transaction semantics to reduce reprocessing overhead in replicated mobile data applications | IEEE Conference Publication | IEEE Xplore