In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
Sorin Sav, Hyowon Lee, Noel E. O'Connor, Alan F. S...
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...