7055 search results - page 1350 / 1411 » Some New 4-Designs |
109
click to vote
DIMEA
2008
15 years 3 months ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
128
click to vote
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
ResearchinHumanitiesandSocialSciencesistraditionallybasedonprintedpublicationssuchasmanuscripts, personal correspondence, first editions and other types of documents which are oft...
120
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Because of its small form factor, high capacity, and expected low cost, MEMS-based storage is a suitable storage technology for mobile systems. However, flash memory may outperfor...
127
Voted
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
FC
2008
Springer
15 years 3 months ago
2008
Springer
We present an efficient off-line divisible e-cash scheme which is truly anonymous without a trusted third party. This is the second scheme in the literature which achieves full unl...