Sciweavers

422 search results - page 3 / 85
» Incremental Detection of Model Inconsistencies Based on Mode...
Sort
View
VAMOS
2010
Springer
13 years 8 months ago
Tool Support for Incremental Consistency Checking on Variability Models
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
Michael Vierhauser, Deepak Dhungana, Wolfgang Heid...
PAMI
2006
159views more  PAMI 2006»
13 years 7 months ago
Consistency Checks for Particle Filters
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
Ferdinand van der Heijden
TAOSD
2010
13 years 5 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
SPIN
1999
Springer
13 years 11 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
TIP
2008
144views more  TIP 2008»
13 years 7 months ago
Incremental Refinement of Image Salient-Point Detection
Low-level image analysis systems typically detect "points of interest", i.e., areas of natural images that contain corners or edges. Most of the robust and computationall...
Yiannis Andreopoulos, Ioannis Patras