276 search results - page 6 / 56 » Bisimulation Relations for Dynamical and Control Systems |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
RTSS
1990
IEEE
13 years 11 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
SACMAT
2003
ACM
14 years 23 days ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
AIMSA
2008
Springer
14 years 1 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Time-varying graphs are widely used to model communication and sensing in multi-agent systems such as mobile sensor networks and dynamic animal groups. Connectivity is often de...