Verifying a time-of-day counter
Virtual machine image management system and methods thereof
Virtually synchronous Paxos
Canada
World
United States