922 search results - page 18 / 185 » Controllability and Observability of Second Order Descriptor... |
ESORICS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The problem of sensor activation in a controlled discrete event system is considered. Sensors are assumed to be costly and can be turned on/off during the operation of the syst...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we describe a mainframe access control system (DENT) and its associated delegated administration tool (DSAS) that were used in a financial institution for over 20 y...
SCL
2008
14 years 9 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
109
click to vote
SAC
2011
ACM
14 years 13 days ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...