3658 search results - page 472 / 732 » The logic of proofs, semantically |
218
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
179
click to vote
APLAS
2005
ACM
16 years 6 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
171
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
210
click to vote
LOPSTR
2005
Springer
16 years 4 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
144
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...