1362 search results - page 139 / 273 » Model Checking Large Network Protocol Implementations |
136
click to vote
NGC
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, o...
113
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
112
Voted
RTAS
2000
IEEE
15 years 7 months ago
2000
IEEE
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
142
Voted
CNSM
2010
15 years 25 days ago
2010
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
132
Voted
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...