We present a novel framework for exploring very large state spaces of concurrent reactive systems.
In this paper, we continue to focus on simple exponential approximations for steady-state tail probabilities in G/GI/1 queues based on large-time asymptotics.
The mechanically stable spatial arrangements of interacting molecules (potential energy minima, "inherent structures") provide a discrete fiducial basis for understanding condensed phase properties
This paper presents a simultaneous localization and mapping (SLAM) method that utilizes the measurement of ambient magnetic fields present in all indoor environments.
A prototype system, developed at AT&T, supports a premiere ISDN customer's network management needs by exporting selected features from existing Bell Operating Company Element Management System
Dynamic power management techniques have been proposed in a number of recent approaches to reduce the energy consumption of telecommunication networks and devices.
Query processing on partly inaccessible databases generally does not yield exact, but vague result sets.
There is a growing interest, and concern, about potential health effects associated with exposure to electromagnetic energy at radio frequencies and microwave frequencies.
We present measurements of express optical interconnection between data centers using a MEMs photonic cross connect and a packet-optical transport network under the control of a pro-grammable netOS
Some problems are best viewed as complementarity problems, that is, problems with pairs of inequality constraints, at least one of which must be tight.
