This paper reports work in progress on the analysis and visualization of the spatial and temporal distribution of user interaction data collected in threedimensional (3-D) virtual...
Abstract— This paper presents the architecture of a passive monitoring system installed within the Sprint IP backbone network. This system differs from other packet monitoring sy...
Chuck Fraleigh, Christophe Diot, Bryan Lyles, Sue ...
— We present a new analytical technique, based on the inclusion–exclusion principle from combinatorics, for the analysis of all-optical networks with no wavelength conversion a...
During the Summer of 1997 - Nomad - a planetaryrelevant mobile robot, was driven via satellite link for more than 125 miles in the Atacama Desert of Chile by novice operators in N...
Eric Rollins, Jonathan E. Luntz, Alex Foessel, Ben...
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Ra...