8658 search results - page 132 / 1732 » Models of Command and Control |
DBSEC
2007
13 years 10 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...
CCE
2005
13 years 9 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...
CORR
2010
Springer
13 years 6 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...
DSN
2002
IEEE
14 years 2 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...
ACTA
2007
13 years 9 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 ...