2553 search results - page 288 / 511 » Modeling Trees with Hypertextures |
158
click to vote
JSS
2008
15 years 6 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
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...
164
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
167
click to vote
SAFECOMP
2007
Springer
16 years 20 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
178
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
Abstract. Background subtraction is a method typically used to segment moving regions in image sequences taken from a static camera by comparing each new frame to a model of the sc...