10159 search results - page 472 / 2032 » System Design Validation Using Formal Models |
147
click to vote
WACV
2007
IEEE
15 years 11 months ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
167
Voted
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
158
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
176
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
140
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...