1875 search results - page 108 / 375 » Automatic Network Protocol Analysis |
108
click to vote
INFOCOM
1995
IEEE
15 years 6 months ago
1995
IEEE
Modern high speed networks and ATM networks in particular use resource reservation as a basic means of establishing communications. One-way on-the- y reservation is a method for...
137
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
The dynamic behavior of a network in which information is changing continuously over time requires robust and efficient mechanisms for keeping nodes updated about new information. ...
156
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
151
click to vote
TMC
2008
15 years 3 months ago
2008
There is a vast literature on the throughput analysis of the IEEE 802.11 media access control (MAC) protocol. However, very little has been done on investigating the interplay betw...
140
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
Several architectures have been recently proposed to support IP mobility. Most studies, however, show that current protocols, in general, fall short from satisfying the performanc...