1362 search results - page 205 / 273 » Model Checking Large Network Protocol Implementations |
122
click to vote
IMC
2006
ACM
15 years 9 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
212
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
114
click to vote
ICNP
2009
IEEE
15 years 22 days ago
2009
IEEE
The Domain Name System (DNS) is integral to today's Internet. Name resolution for a domain is often dependent on servers well outside the control of the domain's owner. I...
121
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
201
click to vote
ICANN
2001
Springer
15 years 7 months ago
2001
Springer
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...