11949 search results - page 2214 / 2390 » Some results on (a:b)-choosability |
138
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
107
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
122
click to vote
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
108
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
109
click to vote
FASE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...