2797 search results - page 353 / 560 » Code query by example |
138
click to vote
STTT
2010
15 years 2 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
152
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
We study the transmission strategy for a system consisting of two pairs of two-way communication links. The information exchange between the two nodes in each pair can only occur w...
142
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
151
click to vote
VAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
148
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...