662 search results - page 41 / 133 » Model Checking Procedures for Infinite State Systems |
104
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
122
Voted
DIMACS
1996
15 years 3 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
126
Voted
APN
1995
Springer
15 years 6 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
140
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
In off-line handwriting recognition, classifiers based on hidden Markov models (HMMs) have become very popular. However, while there exist well-established training algorithms, s...
123
click to vote
ISW
2004
Springer
15 years 8 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...