2838 search results - page 203 / 568 » Verifying Controlled Components |
95
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
115
Voted
WSCG
2000
15 years 2 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
ICRA
2009
IEEE
14 years 10 months ago
2009
IEEE
The present paper proposes the motion planning based on "the dynamics shaping" for a robotic arm to hit the target robustly toward the desired direction, of which the con...
135
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
This paper presents a novel approach for recognizing and interpreting dimensions in engineering drawings. It starts by detecting potential dimension frames, each comprising only t...