1037 search results - page 96 / 208 » Compositional Variability - Concepts and Patterns |
136
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
120
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
122
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
117
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
133
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...