3228 search results - page 518 / 646 » Computationally Sound Proofs |
144
click to vote
ICDCS
2007
IEEE
16 years 1 days ago
2007
IEEE
Delaunay triangulation (DT) is a useful geometric structure for networking applications. In this paper we investigate the design of join, leave, and maintenance protocols to const...
142
click to vote
ISVD
2007
IEEE
16 years 14 hour ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
168
click to vote
LICS
2007
IEEE
16 years 12 hour ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
188
click to vote
BIRTHDAY
2007
Springer
15 years 12 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
155
click to vote
CCS
2007
ACM
15 years 12 months ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...