1818 search results - page 161 / 364 » Granularity-Adaptive Proof Presentation |
103
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
It is known that the expansion property of a graph influences the performance of the corresponding code when decoded using iterative algorithms. Certain graph products may be used ...
ENTCS
2006
15 years 3 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
148
click to vote
ISCI
2008
15 years 3 months ago
2008
In this paper, we present the first certificateless undeniable signature scheme. The scheme does not suffer from the key escrow problem, which is inherent in identity based crypto...
119
click to vote
IJNSEC
2006
15 years 3 months ago
2006
A directed signature scheme allows a designated verifier to directly verify a signature issued to him, and a third party to check the signature validity with the help of the signe...
116
click to vote
JAR
2008
15 years 3 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...