: When dealing with remote systems, it is desirable that these systems are capable of operation within acceptable levels with minimal control and maintenance. In terms or transmiss...
Component failures and planned component replacements cause changes in the topology and routing paths supplied by the interconnection network of a parallel processor system over ti...
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
A key performance measure for the World Wide Web is the speed with which content is served to users. As traffic on the Web increases, users are faced with increasing delays and fa...
David R. Karger, Alex Sherman, Andy Berkheimer, Bi...