1690 search results - page 262 / 338 » Algorithmic Properties of Millstream Systems |
112
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
80
Voted
AUTOMATICA
2007
15 years 28 days ago
2007
Abstract: We investigate the parametrization issue for discrete-time stable allpass multivariable systems by means of a Schur algorithm involving a Nudelman interpolation condition...
82
Voted
AUTOMATICA
2006
15 years 26 days ago
2006
This paper is concerned with outer approximations of the minimal disturbance invariant set (MDIS) of a discrete-time linear system with an additive set-bounded disturbance. The k-...
108
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
115
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...