Sciweavers

1974 search results - page 29 / 395
» A Library System for Small-Scale Library
Sort
View
SPIESR
1996
121views Database» more  SPIESR 1996»
14 years 11 months ago
I/Browse: The Bellcore Video Library Toolkit
I/Browse: The Bellcore Video Library Toolkit is a set of tools for constructing and browsing libraries of digital video. The toolkit is designed to work with video libraries on lo...
Paul England, Robert B. Allen, Mark Sullivan, Andr...
JCDL
2004
ACM
121views Education» more  JCDL 2004»
15 years 3 months ago
Enabling interoperability for autonomous digital libraries: an API to citeseer services
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programatical access to all the specific functionalities off...
Yves Petinot, C. Lee Giles, Vivek Bhatnagar, Prade...
CSMR
2003
IEEE
15 years 3 months ago
Supporting Evolution in Component-Based Development Using Component Libraries
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
Miro Casanova, Ragnhild Van Der Straeten, Viviane ...
DL
1997
Springer
206views Digital Library» more  DL 1997»
15 years 1 months ago
The Digital Library Integrated Task Environment (DLITE)
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
Steve B. Cousins, Andreas Paepcke, Terry Winograd,...
ACSD
2009
IEEE
136views Hardware» more  ACSD 2009»
15 years 4 months ago
Model Checking Verilog Descriptions of Cell Libraries
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad...