2838 search results - page 155 / 568 » Verifying Controlled Components |
ISNN
2005
Springer
14 years 3 months ago
2005
Springer
In recent years, brain-computer interface (BCI) technology has emerged very rapidly. Brain-computer interfaces (BCIs) bring us a new communication interface technology which can tr...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we present the design, modeling and preliminary control of RHex, an autonomous dynamically stable hexapod possessing merely six actuated degrees of freedom (at the ...
NSDI
2008
14 years 21 days ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
IFIPTM
2010
13 years 9 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...