1685 search results - page 159 / 337 » Commonality and Variability in Software Engineering |
139
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
117
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
128
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
261
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
126
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...