793 search results - page 47 / 159 » Argumentation and standards of proof |
132
click to vote
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
105
Voted
RE
2004
Springer
15 years 6 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
97
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
112
Voted
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
96
Voted
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...