1037 search results - page 80 / 208 » Compositional Variability - Concepts and Patterns |
122
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
84
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
146
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
115
click to vote
MSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Existing file access predictors keep track of previous file access patterns and rely on a single heuristic to predict which of the previous successors to the file being currently ...
125
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper investigates the effect of the controller on the testability of sequential circuits composed of controllers and data paths. It is shown that even when both the controll...