4445 search results - page 820 / 889 » Reflective Authorization Systems |
SIGGRAPH
2000
ACM
15 years 2 months ago
2000
ACM
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
SIGGRAPH
2000
ACM
15 years 2 months ago
2000
ACM
The traditional high-level algorithms for rigid body simulation work well for moderate numbers of bodies but scale poorly to systems of hundreds or more moving, interacting bodies...
130
click to vote
RTAS
1998
IEEE
15 years 2 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
In the area of scientific visualization, input data sets are often very large. In visualization of Computational Fluid Dynamics (CFD) in particular, input data sets today can surp...
LICS
1994
IEEE
15 years 2 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...