4850 search results - page 765 / 970 » Proof and Computation in Geometry |
162
click to vote
ICDCS
2007
IEEE
16 years 28 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...
179
click to vote
LICS
2007
IEEE
16 years 26 days 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 ...
209
Voted
BIRTHDAY
2007
Springer
16 years 24 days 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...
175
click to vote
CCS
2007
ACM
16 years 23 days 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...
154
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...