7941 search results - page 1170 / 1589 » Network Analysis of Repositories |
183
click to vote
INFOCOM
2003
IEEE
16 years 5 days ago
2003
IEEE
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
190
click to vote
SPAA
2003
ACM
16 years 4 days ago
2003
ACM
The increasing application space of interconnection networks now encompasses several applications, such as packet routing and I/O interconnect, where the throughput of a routing a...
172
click to vote
DSOM
2003
Springer
16 years 3 days ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
168
click to vote
DSN
2002
IEEE
15 years 12 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...
156
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...