3022 search results - page 235 / 605 » Make Way for WayMaker |
160
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes how to make use of e-books that look like printed books in a knowledge network. After an overview of digitalization efforts and current digital library initia...
160
click to vote
IACR
2011
14 years 6 months ago
2011
In 2008 I. Dinur and A. Shamir presented a new type of algebraic attack on symmetric ciphers named cube attack. The method has been applied to reduced variants of stream ciphers T...
189
click to vote
PAM
2012
Springer
14 years 2 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
188
Voted
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
203
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...