505 search results - page 4 / 101 » Universal Constructions for Large Objects |
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
IEEECIT
2006
IEEE
14 years 1 months ago
2006
IEEE
Although traditional software metrics have widely been applied to practical software projects, they have insufficient abilities to measure a large-scale system’s complexity at h...
EUROCRYPT
2010
Springer
13 years 12 months ago
2010
Springer
This paper revisits the construction of Universal One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs, whi...
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
IDA
2000
Springer
13 years 7 months ago
2000
Springer
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...