Sciweavers

5722 search results - page 158 / 1145
» Dynamic inference control
Sort
View
118
Voted
CSFW
2006
IEEE
15 years 9 months ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
CD
2004
Springer
15 years 8 months ago
Keeping Control of Reusable Components
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
Susan Eisenbach, Dilek Kayhan, Chris Sadler
119
Voted
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
15 years 3 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic
ICWS
2008
IEEE
15 years 4 months ago
A Theory of Role Composition
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
Jeffrey Fischer, Rupak Majumdar
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
15 years 7 months ago
Controllability analysis for current profile control in tokamaks
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
Yongsheng Ou, Eugenio Schuster