5128 search results - page 707 / 1026 » When Abstraction Fails |
154
click to vote
EUROCRYPT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
175
click to vote
EWCBR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Good similarity functions are at the heart of effective case-based reasoning. However, the similarity functions that have been designed so far have been mostly linear, we...
214
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
148
click to vote
FIDJI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
174
click to vote
GCC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...