420 search results - page 76 / 84 » Efficient Implementation of the Orlandi Protocol |
114
Voted
CONEXT
2009
ACM
15 years 1 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
106
Voted
SIGCOMM
2010
ACM
15 years 20 days ago
2010
ACM
Network resiliency is crucial to IP network operations. Existing techniques to recover from one or a series of failures do not offer performance predictability and may cause serio...
126
click to vote
JCIT
2007
15 years 11 days ago
2007
Peer-to-peer (P2P) file sharing has become increasingly popular, accounting for as much as 70% of Internet traffic by some estimates. Recently, we have been witnessing the emergen...
111
click to vote
ASE
2002
15 years 10 days ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
103
Voted
CAD
2000
Springer
15 years 9 days ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...