6474 search results - page 1170 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
194
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
206
click to vote
MSR
2006
ACM
16 years 26 days ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
182
click to vote
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
188
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
217
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of categorizing terms or lexical entities into a predefined set of semantic domains exploiting the knowledge available on-line in the Web. The prop...