3169 search results - page 191 / 634 » Robust Timed Automata |
135
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
127
Voted
MSV
2004
15 years 5 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
122
Voted
FAC
2007
15 years 3 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
115
Voted
COMCOM
2000
15 years 3 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
106
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
One problem with the adaptive tracking is that the data that are used to train the new target model often contain errors and these errors will affect the quality of the new target...