1362 search results - page 178 / 273 » Model Checking Large Network Protocol Implementations |
171
click to vote
AAAIDEA
2005
IEEE
15 years 8 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
120
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
108
click to vote
IEEEAMS
2002
IEEE
15 years 8 months ago
2002
IEEE
Small packets constitute a large fraction of packets in the Internet. Gathercast is a network layer service that combines small packets going to the same destination into a bigger...
123
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— IETF has proposed Mobile IPv6-based Network Mobility (NEMO) basic support protocol (BSP) to support network mobility. NEMO BSP inherits all the drawbacks of Mobile IPv6...
140
click to vote
CSC
2009
15 years 4 months ago
2009
Small-world networks have become an important model for understanding many complex phenomena in science and in sociological contexts. One tool for exploring the critical and phase...