8658 search results - page 132 / 1732 » Models of Command and Control |
137
click to vote
DBSEC
2007
15 years 3 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
160
click to vote
CCE
2005
15 years 2 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
124
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...
112
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
104
Voted
ACTA
2007
15 years 2 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...