3688 search results - page 112 / 738 » Static analysis of aspects |
139
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
160
click to vote
ECIR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Traditional retrieval models assume that query terms are independent and rank documents primarily based on various term weighting strategies including TF-IDF and document...
143
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
135
Voted
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
156
click to vote
JOT
2010
15 years 3 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...