7778 search results - page 40 / 1556 » Designing Controllers for Reachability |
117
click to vote
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
109
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
SSS
2007
Springer
15 years 6 months ago
2007
Springer
