A framework for customizing coherence protocols of distributed file caches | IEEE Conference Publication | IEEE Xplore