7623 search results - page 955 / 1525 » Constructive Volume Modeling |
159
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
175
click to vote
ICNP
2005
IEEE
16 years 21 days ago
2005
IEEE
Position-based routing protocols in ad hoc networks combine a forwarding strategy with a recovery algorithm. The former fails when there are void regions or physical obstacles tha...
151
click to vote
LICS
2005
IEEE
16 years 20 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
191
click to vote
SMI
2005
IEEE
16 years 20 days ago
2005
IEEE
The 3D Morse-Smale complex is a fundamental topological construct that partitions the domain of a real-valued function into regions having uniform gradient flow behavior. In this...
199
click to vote
ACISP
2005
Springer
16 years 19 days ago
2005
Springer
We present the first group signature scheme with provable security and signature size O(λ) bits where the group manager, the group members, and the Open Authority (OA) are all id...