1362 search results - page 152 / 273 » Model Checking Large Network Protocol Implementations |
143
click to vote
NCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
122
click to vote
NSDI
2010
15 years 4 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...
153
click to vote
VRML
1995
ACM
15 years 6 months ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
137
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...
98
Voted
UAI
1997
15 years 4 months ago
1997
It has been shown that a class of probabilistic domain models cannot be learned correctly by several existing algorithms which employ a single-link lookahead search. When a multil...