2196 search results - page 94 / 440 » Practical Reasoning Using Values |
134
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
90
Voted
ASIACRYPT
2001
Springer
15 years 6 months ago
2001
Springer
We study the two-party commitment problem, where two players have secret values they wish to commit to each other. Traditional commitment schemes cannot be used here because they d...
117
click to vote
COR
2006
15 years 2 months ago
2006
We develop a simple and practical exact algorithm for the problem of locating p facilities and assigning clients7 to them within capacity restrictions in order to minimize the max...
87
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Cryptographic check values (digital signatures, MACs and H-MACs) are useful only if they are free of errors. For that reason all of errors in cryptographic check values should be ...
145
Voted
HASKELL
2005
ACM
15 years 7 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...