10263 search results - page 1706 / 2053 » From Use Cases to System Operation Specifications |
187
click to vote
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
240
click to vote
SACMAT
2005
ACM
16 years 1 months ago
2005
ACM
With continuously growing numbers of applications, enterprises face the problem of efficiently managing the assignment of access permissions to their users. On the one hand, secur...
196
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
191
click to vote
ICCS
2004
Springer
16 years 1 months ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
212
click to vote
SIGGRAPH
2010
ACM
16 years 3 days ago
2010
ACM
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...