827 search results - page 166 / 166 » Proof-Theoretic Soundness and Completeness |
LOGCOM
2010
13 years 8 days ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...