2088 search results - page 28 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
TAP
2008
Springer
14 years 11 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...
119
click to vote
ECBS
2004
IEEE
15 years 3 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
130
click to vote
MIR
2006
ACM
15 years 5 months ago
2006
ACM
The variety of features available to represent multimedia data constitutes a rich pool of information. However, the plethora of data poses a challenge in terms of feature selectio...
FOCM
2010
14 years 10 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
WOSP
2000
ACM
15 years 4 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...