Sciweavers

11017 search results - page 79 / 2204
» Closure Systems and their Structure
Sort
View
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
13 years 5 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
14 years 2 months ago
A structure preserving minimal representation of a nonlinear port-Hamiltonian system
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
Jacquelien M. A. Scherpen, Arjan van der Schaft
TRUSTBUS
2004
Springer
14 years 1 months ago
Dynamically Changing Trust Structure in Capability Based Access Control Systems
The functioning of modern IT-systems with autonomously acting components requires an elaborate access control system in which each participant can maintain her own trust structure....
Sandra Wortmann, Barbara Sprick, Christoph Kobusch
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
14 years 3 days ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
CDC
2010
IEEE
103views Control Systems» more  CDC 2010»
13 years 3 months ago
Structural characterization of optimal event-based controllers for linear stochastic systems
Abstract-- Recent results in networked control systems indicate substantial benefits of event-based control compared to conventional designs. This paper identifies structural prope...
Adam Molin, Sandra Hirche