Markup systems and the future of scholarly text processing
Communications of the ACM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Interactively editing structured documents
Electronic Publishing—Origination, Dissemination, and Design
Introduction to algorithms
A formal approach to object-oriented databases
Data & Knowledge Engineering
Complete formal model for information retrieval systems
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
Evaluation of an inference network-based retrieval model
ACM Transactions on Information Systems (TOIS) - Special issue on research and development in information retrieval
Scenario-based hypermedia: a model and a system
Hypertext: concepts, systems and applications
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Discovering shared interests using graph analysis
Communications of the ACM - Special issue on internetworking
The architecture and implementation of a distributed hypermedia storage system
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
The physical and cognitive paradigms in information retrieval research
Journal of Documentation
Formal Approach to Scenario Analysis
IEEE Software
Communications of the ACM
Going digital: a look at assumptions underlying digital libraries
Communications of the ACM
Digital libraries, value, and productivity
Communications of the ACM
Scenario-based design
A visual retrieval environment for hypermedia information systems
ACM Transactions on Information Systems (TOIS)
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Referral Web: combining social networks and collaborative filtering
Communications of the ACM
Object-oriented design from user scenarios
Conference Companion on Human Factors in Computing Systems
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Proximal nodes: a model to query document databases by content and structure
ACM Transactions on Information Systems (TOIS)
Talking in the library: implications for the design of digital libraries
DL '97 Proceedings of the second ACM international conference on Digital libraries
Inferring structure in semistructured data
ACM SIGMOD Record
Toward a worldwide digital library
Communications of the ACM
DIVA: exploratory data analysis with multimedia streams
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Readings in information retrieval
Readings in information retrieval
Proceedings of the third ACM conference on Digital libraries
Structured hypertext with domain semantics
ACM Transactions on Information Systems (TOIS)
Integrating development of task and object models
Communications of the ACM
The design of an interactive online help desk in the Alexandria Digital Library
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
The XML handbook
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
“Is this document relevant?…probably”: a survey of probabilistic models in information retrieval
ACM Computing Surveys (CSUR)
UIML: an appliance-independent XML user interface language
WWW '99 Proceedings of the eighth international conference on World Wide Web
Multilingual information discovery and access (MIDAS)
Proceedings of the fourth ACM conference on Digital libraries
What are digital libraries? Competing visions
Information Processing and Management: an International Journal - Special issue on progress toward digital libraries
Delphi study of digital libraries
Information Processing and Management: an International Journal - Special issue on progress toward digital libraries
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
Communications of the ACM
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
The SIFT information dissemination system
ACM Transactions on Database Systems (TODS)
A study of user behavior in an immersive virtual environment for digital libraries
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Greenstone: a comprehensive open-source digital library software system
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Patron-augmented digital libraries
DL '00 Proceedings of the fifth ACM conference on Digital libraries
Fast and flexible word searching on compressed text
ACM Transactions on Information Systems (TOIS)
A vector space model for automatic indexing
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
The SMART automatic document retrieval systems—an illustration
Communications of the ACM
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
Buckets: smart objects for digital libraries
Communications of the ACM
Authorization management for digital libraries
Communications of the ACM
The NSF national science, mathematics, engineering, and technology education digital library program
Communications of the ACM
Envision: a user-centered database of computer science literature
Communications of the ACM
The open archives initiative: building a low-barrier interoperability framework
Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries
Collaborative design with use case scenarios
Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries
Design principles for the information architecture of a SMET education digital library
Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries
Long term preservation of digital information
Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries
5SL: a language for declarative specification and generation of digital libraries
Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries
Modern Information Retrieval
Internet Publishing and beyond: The Economics of Digital Information and Intellectual Property
Internet Publishing and beyond: The Economics of Digital Information and Intellectual Property
Advanced Concepts in Operating Systems
Advanced Concepts in Operating Systems
DEByE - Date extraction by example
Data & Knowledge Engineering
PIPE: Web Personalization by Partial Evaluation
IEEE Internet Computing
Java MARIAN: From an OPAC to a Modern Digital Library System
SPIRE 2002 Proceedings of the 9th International Symposium on String Processing and Information Retrieval
Foundations of a Multidimensional Query Language for Digital Libraries
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
The DSpace institutional digital repository system: current functionality
Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries
Metis: lightweight, flexible, and Web-based workflow services for digital libraries
Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries
A Technique Combination Approach to Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
XIRQL: An XML query language based on information retrieval concepts
ACM Transactions on Information Systems (TOIS)
Libraries of the Future
BDBComp: building a digital library for the Brazilian computer science community
Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries
ETANA-DL: a digital library for integrated handling of heterogeneous archaeological data
Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries
ETANA-DL: managing complex information applications -- an archaeology digital library
Proceedings of the 4th ACM/IEEE-CS joint conference on Digital libraries
Introduction to (teaching/learning about) digital libraries
Proceedings of the 5th ACM/IEEE-CS joint conference on Digital libraries
Information Processing and Management: an International Journal
Graph-based automatic suggestion of relationships among images of illuminated manuscripts
Proceedings of the 2006 ACM symposium on Applied computing
Exploring digital libraries: integrating browsing, searching, and visualization
Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries
Curriculum development for digital libraries
Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries
History places: A case study for relational database and information retrieval system design
Journal on Educational Resources in Computing (JERIC)
"What is a good digital library?" - A quality model for digital libraries
Information Processing and Management: an International Journal
Digital library education in computer science programs
Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries
Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries
5SQual: a quality assessment tool for digital libraries
Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries
A formal model of annotations of digital content
ACM Transactions on Information Systems (TOIS)
Personal digital library: pim through a 5s perspective
Proceedings of the ACM first Ph.D. workshop in CIKM
A Web services-based framework for building componentized digital libraries
Journal of Systems and Software
Building federation of digital libraries basing on concept of atomic services
Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries
Keeping a digital library clean: new solutions to old problems
Proceedings of the eighth ACM symposium on Document engineering
An Extensible Virtual Digital Libraries Generator
ECDL '08 Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries
A multi-disciplinar recommender system to advice research resources in University Digital Libraries
Expert Systems with Applications: An International Journal
Information Processing and Management: an International Journal
Journal on Image and Video Processing - Special issue on image and video processing for cultural heritage
Program transformations for information personalization
Computer Languages, Systems and Structures
Multimedia in cultural heritage collections: a model and applications
ICADL'07 Proceedings of the 10th international conference on Asian digital libraries: looking back 10 years and forging new frontiers
Further development of a digital library curriculum: evaluation approaches and new tools
ICADL'07 Proceedings of the 10th international conference on Asian digital libraries: looking back 10 years and forging new frontiers
A reference architecture for digital library systems: principles and applications
DELOS'07 Proceedings of the 1st international conference on Digital libraries: research and development
Using semantic technologies in digital libraries: a roadmap to quality evaluation
ECDL'09 Proceedings of the 13th European conference on Research and advanced technology for digital libraries
Describing OAI-ORE from the 5S framework perspective
ICADL'10 Proceedings of the role of digital libraries in a time of global change, and 12th international conference on Asia-Pacific digital libraries
Matching evolving Hilbert spaces and language for semantic access to digital libraries
ICADL'10 Proceedings of the role of digital libraries in a time of global change, and 12th international conference on Asia-Pacific digital libraries
Modelling digital libraries based on logic
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Knowledge organization landscape: A content analysis of introductory courses
Journal of Information Science
EPICA: easy persistent identifier common architecture
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Metadata architecture for digital library integration
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Ember: a case study of a digital memorial museum of born-digital artifacts
Proceedings of the 11th annual international ACM/IEEE joint conference on Digital libraries
An unsupervised heuristic-based approach for bibliographic metadata deduplication
Information Processing and Management: an International Journal
Digital library 2.0 for educational resources
TPDL'11 Proceedings of the 15th international conference on Theory and practice of digital libraries: research and advanced technology for digital libraries
An organizational model for digital library evaluation
TPDL'11 Proceedings of the 15th international conference on Theory and practice of digital libraries: research and advanced technology for digital libraries
A quantitative analysis of WWW, hypertext and JCDL conferences in the last decade
ACM SIGWEB Newsletter
ECDL'06 Proceedings of the 10th European conference on Research and Advanced Technology for Digital Libraries
The role of digital libraries in moving toward knowledge environments
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Visualization in digital libraries
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Moving digital library service systems to the grid
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
Interdisciplinary curriculum development for digital library education
ICADL'06 Proceedings of the 9th international conference on Asian Digital Libraries: achievements, Challenges and Opportunities
An ontology-based model of digital libraries
ICADL'05 Proceedings of the 8th international conference on Asian Digital Libraries: implementing strategies and sharing experiences
A cooperative-relational approach to digital libraries
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Texts, illustrations, and physical objects: the case of ancient shipbuilding treatises
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Evaluating digital libraries with 5SQual
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
A scalable data management tool to support epidemiological modeling of large urban regions
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Specification and generation of digital libraries into DSpace using the 5S framework
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
A Metadata-Based Approach for Unstructured Document Management in Organizations
Information Resources Management Journal
Formal foundations for systematic digital library generation
Proceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries
A formal approach for the specification of digital complex objects
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Future Generation Computer Systems
A quality based recommender system to disseminate information in a university digital library
Information Sciences: an International Journal
Hi-index | 0.00 |
Digital libraries (DLs) are complex information systems and therefore demand formal foundations lest development efforts diverge and interoperability suffers. In this article, we propose the fundamental abstractions of Streams, Structures, Spaces, Scenarios, and Societies (5S), which allow us to define digital libraries rigorously and usefully. Streams are sequences of arbitrary items used to describe both static and dynamic (e.g., video) content. Structures can be viewed as labeled directed graphs, which impose organization. Spaces are sets with operations on those sets that obey certain constraints. Scenarios consist of sequences of events or actions that modify states of a computation in order to accomplish a functional requirement. Societies are sets of entities and activities and the relationships among them. Together these abstractions provide a formal foundation to define, relate, and unify concepts---among others, of digital objects, metadata, collections, and services---required to formalize and elucidate "digital libraries". The applicability, versatility, and unifying power of the 5S model are demonstrated through its use in three distinct applications: building and interpretation of a DL taxonomy, informal and formal analysis of case studies of digital libraries (NDLTD and OAI), and utilization as a formal basis for a DL description language.