226 search results - page 9 / 46 » Preventing Feature Interactions by Constraints |
CLEIEJ
2006
14 years 9 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
FLAIRS
2008
14 years 12 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...
TAP
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
EDOC
2007
IEEE
15 years 3 months ago
2007
IEEE
The paper considers distributed applications where interactions between constituent services take place via messages in an asynchronous environment with unpredictable communicatio...
PRL
2007
14 years 9 months ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...