1362 search results - page 28 / 273 » Model Checking Large Network Protocol Implementations |
108
click to vote
CN
2004
15 years 1 months ago
2004
This paper proposes a handoff scheme in a wireless access network where IEEE802.11 is used as link layer protocol and Mobile IP as network layer protocol. The scheme uses triggers...
130
click to vote
IWANN
1993
Springer
15 years 6 months ago
1993
Springer
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
117
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
129
Voted
LCN
1996
IEEE
15 years 6 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
106
Voted
IMC
2007
ACM
15 years 3 months ago
2007
ACM
As the utility of wireless technology grows, wireless networks are being deployed in more widely varying conditions. The monitoring of these networks continues to reveal key imple...