2838 search results - page 76 / 568 » Verifying Controlled Components |
CCS
1994
ACM
14 years 1 months ago
1994
ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
AR
2005
13 years 9 months ago
2005
The authors have proposed a dynamic turning control system of a quadruped robot by using nonlinear oscillators. It is composed of a spontaneous locomotion controller and voluntary...
AUTOMATICA
2007
13 years 8 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Query generators producing sequences of SQL statements are embedded in many applications. As the execution time of such sequences is often far from optimal, their optimization is ...
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...