317 search results - page 51 / 64 » Space Reductions for Model Checking Quasi-Cyclic Systems |
ASMTA
2008
Springer
13 years 10 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we consider the problem of categorizing
videos of dynamic textures under varying view-point. We
propose to model each video with a collection of Linear
Dynamics S...