7587 search results - page 1099 / 1518 » Network Analysis and Visualisation |
187
click to vote
SPAA
2003
ACM
16 years 3 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...
171
click to vote
DSOM
2003
Springer
16 years 2 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...
167
click to vote
DSN
2002
IEEE
15 years 11 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...
154
click to vote
DSN
2002
IEEE
15 years 11 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 ...
175
click to vote
MOBICOM
2009
ACM
15 years 11 months ago
2009
ACM
We consider the problem of cross-band interference when devices from the same or different networks share radio spectrum. Cross-band interference occurs when unsynchronized trans...