9405 search results - page 1089 / 1881 » Computing a Model of Set Theory |
191
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
235
click to vote
SIGGRAPH
2010
ACM
16 years 1 days ago
2010
ACM
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...
196
click to vote
CAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
174
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
173
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present algorithms for Grid resource provisioning that employ agreement-based resource management. These algorithms allow userlevel resource allocation and sched...