7139 search results - page 1263 / 1428 » Language Engineering in Practice |
140
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
117
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...
243
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
165
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
164
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...