157 search results - page 3 / 32 » Presenting Proofs with Adapted Granularity |
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
CLUSTER
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents the design and evaluation of an adaptive, system sensitive partitioning and load balancing framework for distributed structured adaptive mesh refinement applic...
CLUSTER
2002
IEEE
13 years 7 months ago
2002
IEEE
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...
CNL
2009
13 years 8 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
NOSSDAV
2004
Springer
14 years 25 days ago
2004
Springer
Retransmission can be used for loss recovery in continuous media applications but the number of retransmission attempts is bounded by the size of the playout buffer. For efficient...