5234 search results - page 912 / 1047 » Simulation of Computer Network Attacks |
125
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Mobile IPv6 enables mobile node to roam transparently in any network. It shows good performance for macro mobility but it is not proper for supporting micro mobility because of lar...
144
Voted
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Our goal is to automatically obtain a distributed and fault-tolerant embedded system: distributed because the system must run on a distributed architecture; fault-tolerant because...
123
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the design, implementation, and performance evaluation of ST-TCP (Server fault-Tolerant TCP), which is an extension of TCP to tolerate TCP server failures. Th...
120
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
107
click to vote
HASE
2002
IEEE
15 years 8 months ago
2002
IEEE
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...