334 search results - page 42 / 67 » A parametric analysis of the state-explosion problem in mode... |
175
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
165
click to vote
SMI
1999
IEEE
15 years 10 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
178
click to vote
FM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
119
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
151
click to vote
FSEN
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...