9110 search results - page 1537 / 1822 » Formally-Based Design Evaluation |
188
click to vote
ACNS
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a pseudo-collision attack on the compression function of all Twister variants (224,256,384,512) with complexity of about 226.5 compression function evalua...
186
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Peer-to-peer technologies are increasingly becoming the medium of choice for delivering media content, both professional and homegrown, to large user populations. Indeed, current ...
263
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
280
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper we explore database segmentation in the context of a column-store DBMS targeted at a scientific database. We present a novel hardware- and scheme-oblivious segmentati...
138
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...