724 search results - page 51 / 145 » Implementing Execution Controls in Unix |
ISW
2005
Springer
14 years 2 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
AAI
1999
1999
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
13 years 9 months ago
This paper describes Steve, an animated agent that helps students learn to perform physical, procedural tasks. The student and Steve cohabit a three-dimensional, simulated mock-up...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Industrial inspection robots, which are to move around a nuclear power plant and carry out inspection tasks, must follow a given route while observing static and dynamic features ...
ICCD
2006
IEEE
14 years 6 months ago
2006
IEEE
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
FCCM
2000
IEEE
14 years 1 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...