7623 search results - page 154 / 1525 » Constructive Volume Modeling |
140
Voted
SIAMCOMP
2000
15 years 3 months ago
2000
This paper presents a lower bound of (D + n/ log n) on the time required for the distributed construction of a minimum-weight spanning tree (MST) in weighted n-vertex networks of ...
144
click to vote
ACNS
2009
Springer
15 years 1 months ago
2009
Springer
In this paper, we propose a notion of threshold tag-based encryption schemes that simplifies the notion of threshold identity-based encryption schemes, and we show a conversion fro...
162
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
108
Voted
ER
1997
Springer
15 years 7 months ago
1997
Springer
This paper discusses the construction principles of ancient Egyptian hieroglyphs from the point of view of conceptual modeling. The paper starts with a summary of author’s previo...
126
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We present a compiler for transforming an oblivious transfer (OT) protocol secure against an adaptive semi-honest adversary into one that is secure against an adaptive malicious ad...