724 search results - page 51 / 145 » Implementing Execution Controls in Unix |
123
click to vote
ISW
2005
Springer
15 years 9 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 ...
130
Voted
AAI
1999
1999
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
15 years 3 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...
124
Voted
ICPR
2000
IEEE
16 years 5 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 ...
127
click to vote
ICCD
2006
IEEE
16 years 1 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...
132
click to vote
FCCM
2000
IEEE
15 years 8 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...