1878 search results - page 93 / 376 » Efficient Performance Models in Component-Based Software Eng... |
119
click to vote
WWW
2009
ACM
15 years 9 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
108
click to vote
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
161
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
145
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
128
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...