3047 search results - page 333 / 610 » A Temporal Consensus Model |
158
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
181
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
129
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents a model of spatiotemporal variations in a dynamic texture (DT) sequence. Most recent work on DT modelling represents images in a DT sequence as the responses o...
167
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
260
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...