3458 search results - page 183 / 692 » Abstracting Control |
122
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Cooperative manipulation with multiple, independent agents can be complicated by changing dynamics as the agents come in and out of contact with the object they are man...
88
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— The latest technological progress in sensors, actuators and energy storage devices enables the developments of miniature VTOL1 systems. In this paper we present the res...
139
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
114
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...