Services for locating mobile objects are often organized as a distributed search tree. The advantage of such an organization is that the service can easily scale as a distributed ...
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
The High-Level Architecture (HLA) provides a common architecture for distributed modeling and simulation. In its original form, the HLA allows a number of simulations to be joined...
The definition of a service is key to the ability to meter it, measure it, regulate it, price it, or otherwise take it into consideration. Reserves (a form of power supply insuran...
Voxel Coloring has become a popular technique for reconstructing a 3D scene from a set of 2D images. While many different variants of this technique exist, all rely on a test to d...
Mark R. Stevens, W. Bruce Culbertson, Thomas Malzb...