Sciweavers

388 search results - page 32 / 78
» Talking in the Library: Implications for the Design of Digit...
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
2003
ACM
14 years 2 months ago
Using Scientific Documents for Distance Learning
: In scientific digital libraries many documents such as publications, technical reports, theses, etc. could be used as basic data supports for distance learning in the universitie...
Béatrice Rumpler
JCDL
2003
ACM
73views Education» more  JCDL 2003»
14 years 2 months ago
The Dienst-OAI Gateway
Though the Open Archive Initiative Protocol for Metadata Harvesting (OAI-PMH) is becoming the defacto standard for digital libraries, some of its predecessors are still in use. Al...
Terry L. Harrison, Michael L. Nelson, Mohammad Zub...
JCDL
2003
ACM
87views Education» more  JCDL 2003»
14 years 2 months ago
Visualizing and Exploring Picasso's World
We discuss the preliminary use of a visualization tool called Interactive Timeline Viewer (ItLv) in visualizing and exploring a collection of art works by Pablo Ruiz Picasso. Our ...
Carlos Monroy, Richard Furuta, Enrique Mallen
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...