Sciweavers

9503 search results - page 1548 / 1901
» Authenticated System Calls
Sort
View
UIST
1992
ACM
15 years 11 months ago
Interactive Shadows
It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...
Kenneth P. Herndon, Robert C. Zeleznik, Daniel C. ...
ICALP
1990
Springer
15 years 11 months ago
Static Correctness of Hierarchical Procedures
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
Michael I. Schwartzbach
ICPP
1990
IEEE
15 years 11 months ago
Interleaved All-to-All Reliable Broadcast on Meshes and Hypercubes
All-to-all (ATA) reliable broadcast is the problem of reliably distributing information from every node to every other node in point-to-point interconnection networks. A good solut...
Sunggu Lee, Kang G. Shin
VLDB
1989
ACM
105views Database» more  VLDB 1989»
15 years 10 months ago
Monitoring Database Objects
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
Tore Risch
DEON
2010
Springer
15 years 10 months ago
Avoiding Deontic Explosion by Contextually Restricting Aggregation
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
Joke Meheus, Mathieu Beirlaen, Frederik Van De Put...
« Prev « First page 1548 / 1901 Last » Next »