578 search results - page 48 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
134
click to vote
AAAI
2008
15 years 6 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
157
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
139
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
135
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
127
click to vote
LISA
2004
15 years 5 months ago
2004
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...