319 search results - page 7 / 64 » Criteria for the verification of feature models |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Interest point detectors are the starting point in image analysis for depth estimation using epipolar geometry and camera ego-motion estimation. With several detectors defined in ...
BMVC
1998
14 years 11 months ago
1998
This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic obj...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...