1037 search results - page 48 / 208 » Compositional Variability - Concepts and Patterns |
124
click to vote
GI
2010
Springer
15 years 1 months ago
2010
Springer
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...
139
click to vote
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
143
click to vote
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
118
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
118
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...