1362 search results - page 46 / 273 » Model Checking Large Network Protocol Implementations |
122
click to vote
FI
2010
14 years 8 months ago
2010
: One of the major issues in the future Internet is the integration of telecom networks with the Internet. In many countries, large Internet Service Providers (ISPs) are also telec...
101
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
A large number of vulnerabilities occur because protocol implementations failed to anticipate illegal packets. rfcs typically define what constitute “right” packets relevant ...
112
click to vote
FORTE
2008
15 years 3 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
144
Voted
SIGMETRICS
2009
ACM
15 years 8 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
141
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— Group communications are important in Mobile Ad hoc Networks (MANET). Multicast is an efficient method to implement the group communications. However, it is challenging to imp...