1583 search results - page 32 / 317 » Feature Interaction Detection in the Feature Language Extens... |
122
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
111
Voted
MODELS
2010
Springer
15 years 10 days ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
117
click to vote
BELL
2000
15 years 1 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ICPR
2010
IEEE
15 years 27 days ago
2010
IEEE
We propose an information fusion approach to tracking objects from different viewpoints that can detect and recover from tracking failures. We introduce a reliability measure that...
145
click to vote
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...