A common approach for supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility in renegotiating performance parameters after connection establishment and the inability to react to changing network load conditions. A more desirable goal is the ability to scale the performance of individual conn...

Several region connection calculi have been proposed for use in Qualitative Spatial Reasoning (QSR). Perhaps the most well-known model is RCC-8, which uses a 9-Intersection framework to identify the spatial relation between two regions. The calculation of the 9-Intersection matrix is particularly computationintensive in 3D. Herein we show that 9-Intersection calculations can be replaced with 2-...

Let Mn be a Riemannian n-manifold. Denote by S(p) and Ric(p) the Ricci tensor and the maximum Ricci curvature on Mn, respectively. In this paper we prove that every C-totally real submanifolds of a Sasakian space form M̄2m+1(c) satisfies S ≤ ( (n−1)(c+3) 4 + n 2 4 H2)g, where H2 and g are the square mean curvature function and metric tensor on Mn, respectively. The equality holds identically if ...

A non-formal motivation and description is given of ADLd, a graphical design technique for parallel and distributed software. ADL-d allows a developer to construct an application in terms of communicating processes. The technique distinguishes itself from others by its rigid orthogonal approach to communication modeling, which is advantageous in many areas. Without being committed to one partic...

This paper reports on the preliminary findings of an indepth case study of the implementation of a computerized order entry (COE) system at a medium-sized, acute care hospital. In this paper, we propose a theoreticallygrounded framework, based on work by Barley [8] [9], for analyzing organizational changes that may result from COE introduction and use the framework to analyze findings at the re...

ATM promises to be a broadband network that provides quality of service guarantees for real time multimedia applications. ST-2 is an experimental connection-oriented protocol that provides guaranteed support for streams across an internet of hosts and routers. We describe an implementation of an ATM network as one link in an ST-2 internet. We explain how the ST-2 owspec is mapped into an ATM ho...

VRCC-3D+ is an implementation of a region connection calculus that qualitatively determines the spatial relation between two 3D objects in terms of connectivity and obscuration. The eight connectivity relations are conceptually the same as RCC8, but calculated in 3D rather than 2D. The fifteen obscuration relations are calculated using the projection of the 3D objects on a particular 2D plane a...

This paper extends the CMOS standard cells characterization methodology for defect based testing. The proposed methodology allows to find the types of faults which may occur in a real IC, to determine their probabilities, and to find the input test vectors which detect these faults. For shorts at the inputs two types of cell simulation conditions – “Wired-AND” and “Wired-OR” – are used. Example...

We study a model of communication and Bayesian persuasion between a sender who is privately informed and has state independent preferences, and a receiver who has preferences that depend on the unknown state. In a model with two states of the world, over the interesting range of parameters, the equilibria can be pooling or separating, but a particular novel refinement forces the pooling to be o...

We aim to combine the semantics of spatial natural language specified as a linguistically motivated ontology, the Generalized Upper Model, with spatial logics or ontologies that specify space according to certain conceptualisations, based on regions, shapes, orientations, distances, or object properties. Such combinations, however, introduce uncertainties of various kinds, caused by different l...