A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks