Sciweavers

2482 search results - page 233 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
SP
1999
IEEE
126views Security Privacy» more  SP 1999»
15 years 6 months ago
Flexible Policy-Directed Code Safety
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
David Evans, Andrew Twyman
IWMM
1998
Springer
117views Hardware» more  IWMM 1998»
15 years 6 months ago
Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...
Fridtjof Siebert
SIGGRAPH
1994
ACM
15 years 6 months ago
Fast contact force computation for nonpenetrating rigid bodies
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
David Baraff
IWEC
2004
15 years 3 months ago
The Design and Implementation of Multi-player Card Games on Multi-user Interactive Tabletop Surfaces
We present the design and implementation of a card game architecture for mulit-user interactive tabletop surfaces. Our system is built on the DiamondTouch, a touch-sensitive input ...
Shwetak N. Patel, John A. Bunch, Kyle D. Forkner, ...
DAGSTUHL
1993
15 years 3 months ago
Syntax and Semantics of Hybrid Database Languages
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
Marc Andries, Gregor Engels