3047 search results - page 333 / 610 » A Temporal Consensus Model |
195
Voted
CODES
2002
IEEE
16 years 14 days 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...
209
Voted
CAV
2001
Springer
16 years 19 hour 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...
150
Voted
ICCV
2007
IEEE
16 years 9 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...
196
click to vote
ISCIS
2004
Springer
16 years 26 days 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...
301
Voted
LICS
2003
IEEE
16 years 23 days 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...