2838 search results - page 152 / 568 » Verifying Controlled Components |
CSREASAM
2007
13 years 11 months ago
2007
- Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. However, these strategies are in...
DBSEC
2007
13 years 11 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— We present a controller for a quadrupedal robot statically walking on known rough terrain. The controller has both deliberative and reactive components for task specific contr...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...