1362 search results - page 74 / 273 » Model Checking Large Network Protocol Implementations |
274
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
142
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...
133
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
146
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
154
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...