On the Use of Optimal Stopping Theory for Cache Consistency Checks | IEEE Conference Publication | IEEE Xplore