5200 search results - page 220 / 1040 » Symbolic models for control systems |
SP
2007
IEEE
14 years 3 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Consider a discrete-time networked control scheme, in which the controller has direct access to noisy measurements of the plant’s output, but the controller and the actuator ...
OWLED
2008
13 years 10 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...