Digital libraries have, in the main, adopted the traditional library notion of the metadata “record” as the basic unit of management and exchange. Although this simplifies the harvest and re-exposure of metadata, it limits the ability of metadata aggregators to improve the quality of metadata and to share specifics of those improvements with others. The National Science Digital Library (NSDL) i...

Definitive testing of concurrency scenarios Execution sequence of multithreaded programs inherently nondeterministic Program behavior in different executions need not be the same Context switches, event ordering and synchronization are main reasons Mismatch between programming model and debugging model Capability to record, analyze and playback particular execution sequences Software pattern ne...

ing and Library Use: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy for private use of patrons, provided the per-copy fee indicated in the code at the bottom of the rst page is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. See www.computer.org/ software-multimedia for multimedia content related to this article. Take...

There are two incompatible Coq libraries that have a theory of the real numbers; the Coq standard library gives an axiomatic treatment of classical real numbers, while the CoRN library from Nijmegen defines constructively valid real numbers. Unfortunately, this means results about one structure cannot easily be used in the other structure. We present a way interfacing these two libraries by sho...

Purpose – Many open source software packages are available for organizations and individuals to create digital libraries (DLs). However, a simple to use instrument to evaluate these DL software packages does not exist. The objectives of the present work are to develop a checklist for DL evaluation and use this checklist on four DL software packages. Design/methodology/approach – Features that c...

We present a new Web services-based framework for building componentized digital libraries (DLs). We particularly demonstrate how traditional RDBMS technology can be easily deployed to support several common digital library services. Configuration and customization of the framework to build specialized systems is supported by a wizard-like tool which is based on a generic metamodel for DLs. Suc...

We introduce a new standalone widely applicable software library for feature selection (also known as attribute or variable selection), capable of reducing problem dimensionality to maximize the accuracy of data models, performance of automatic decision rules as well as to reduce data acquisition cost. The library can be exploited by users in research as well as in industry. Less experienced us...

This paper is a description of our proposal to use Constraint Programming techniques to develop a software library dedicated to argumentative reasoning. We present a library which offers the advantages to be generic and easily adaptable.

purpose: to examine link between conflict management styles used by university library managers with such demographic attributes such as gender, education, academic vs administrative status, experience, and their full vs. part time involvement with their role as library managers. methodology: data was secured by questioning library managers about their preferred treatment of staff conflicts. th...

In this paper we describe the main design and realization principles of our software library FLENS (A Flexible Library for Efficient Numerical Solutions). FLENS is a C++ library allowing easy and straightforward coding while providing a maximum extend of efficiency. FLENS is in particular suited as a platform for the realization of fast solvers for differential equations. AMS subject classifica...