1087 search results - page 14 / 218 » Achieving Distributed Control through Model Checking |
SEC
2000
13 years 9 months ago
2000
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...
SACMAT
2010
ACM
14 years 16 days ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
14 years 8 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...