382 search results - page 53 / 77 » Rule-based static analysis of network protocol implementatio... |
118
click to vote
IWCMC
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of control traffic overhead in MANETs with long-lived connections, operating under a reactive routing protocol (e.g. AODV). In such settings, control traff...
111
Voted
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
CANS
2005
Springer
15 years 7 months ago
2005
Springer
The Domain Name System (DNS) is an essential component of the critical infrastructure of the Internet. The role of DNS is vital, as it is involved in virtually every Internet tran...
110
click to vote
INFOCOM
1997
IEEE
15 years 5 months ago
1997
IEEE
A packet scheduler in a quality-of-service QoS network should be sophisticated enough to support stringent QoS constraints at high loads, but it must also have a simple implemen...
124
Voted
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...