1362 search results - page 71 / 273 » Model Checking Large Network Protocol Implementations |
129
click to vote
COMPCON
1995
IEEE
15 years 7 months ago
1995
IEEE
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
150
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Firewalls have been widely deployed on the Internet for securing private networks. A firewall checks each incoming or outgoing packet to decide whether to accept or discard the...
136
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
129
click to vote
DAIS
2003
15 years 5 months ago
2003
This paper presents our experience in implementing OMG Unreliable Multicast Inter-ORB Protocol specifications into an ORB. An integration model is proposed to allow the coexistenc...
136
Voted
COMCOM
2006
15 years 4 months ago
2006
The Host Identity Indirection Infrastructure (Hi3) is a general-purpose networking architecture, derived from the Internet Indirection Infrastructure (i3) and the Host Identity Pr...