Sciweavers

629 search results - page 43 / 126
» ACM Digital Library Enhancements
Sort
View
ELPUB
2004
ACM
14 years 2 months ago
What academic libraries need from e-publishers
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
Claire Dygert
ELPUB
2007
ACM
14 years 18 days ago
Managing Expectations for Open Access in Greece: Perceptions from the Publishers and Academic Libraries
In Greece, there seems to be a growing level of awareness regarding open access among scholars, faculty staff and information professionals. Indeed, consensus regarding the necess...
G. Christina Banou, A. Petros Kostagiolas
APLAS
2010
ACM
13 years 9 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
DAC
2005
ACM
14 years 9 months ago
Enhanced leakage reduction Technique by gate replacement
Input vector control (IVC) technique utilizes the stack effect in CMOS circuit to apply the minimum leakage vector (MLV) to the circuit at the sleep mode to reduce leakage. Additi...
Lin Yuan, Gang Qu
JCDL
2006
ACM
133views Education» more  JCDL 2006»
14 years 2 months ago
Repository software evaluation using the audit checklist for certification of trusted digital repositories
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...
Joanne Kaczmarek, Thomas G. Habing, Janet Eke