A dual-time vector clock based synchronization mechanism for key-value data in the SILENUS file system | IEEE Conference Publication | IEEE Xplore