Provoz A Budování, Editoři Jaroslava Mikulecká, Jan Sedláček, Jaroslava Mikulecká, Ivan Vrana, ...
Sborník příspěvků z konference „Digitální knihovny: provoz a budování“, konané ve
NCore: Architecture and Implementation of a Flexible, Collaborative Digital Library (2008)
Krafft, Dean B., Birkland, Aaron, Cramer, Ellen J.
NCore is an open source architecture and software platform for creating flexible, collaborative digital libraries. NCore was developed by the National Science Digital Library (NSDL) project, and it...
Lagoze, Carl, Krafft, Dean B., Payette, Sandy, Jesuroga, Susan
Les bibliothèques numériques, bien que de tailles différentes , vivent à présent leur adolescence. Comme pour toute adolescence, il y a de quoi s'enthousiasmer et se préoccuper. Les...
Lagoze, Carl, Krafft, Dean B., Payette, Sandy, Jesuroga, Susan
Les bibliothèques numériques, bien que de tailles différentes , vivent à présent leur adolescence. Comme pour toute adolescence, il y a de quoi s'enthousiasmer et se préoccuper. Les...
Lagoze, Carl, Krafft, Dean B., Payette, Sandy, Jesuroga, Susan
Les bibliothèques numériques, bien que de tailles différentes , vivent à présent leur adolescence. Comme pour toute adolescence, il y a de quoi s'enthousiasmer et se préoccuper. Les...
An Information Network Overlay Architecture for the NSDL (2005)
Lagoze, Carl, Krafft, Dean B., Jesuroga, Susan, Cornwell, Tim, Cramer, Ellen J., Shin, Eddie
We describe the underlying data model and implementation of a new architecture for the National Science Digital Library (NSDL) by the Core Integration Team (CI). The architecture is based on the...
A Case Study of Flexible Object Manipulation, (1998)
Hopcroft, John E., Kearney, Joseph K., Krafft, Dean B.
This paper describes a project undertaken to explore programming physical operations on complex flexible objects. Uncertainty about the exact state of the object makes it impossible to precisely...
Dienst: Implementation Reference Manual (1995)
Lagoze, Carl, Shaw, Erin, Davis, James R., Krafft, Dean B.
We describe the architecture and implementation of Dienst: a protocol and server that provides distributed document libraries over the World Wide Web. Dienst is based on a document model that...
Dienst: Implementation Reference Manual (1995)
Lagoze, Carl, Shaw, Erin, Davis, James R., Krafft, Dean B.
We describe the architecture and implementation of Dienst: a protocol and server that provides distributed document libraries over the World Wide Web. Dienst is based on a document model that...
Dienst: Building a Production Technical Report Server (1995)
James Davis, Dean B. Krafft, Carl Lagoze
Dienst is a protocol and implementation that provides Internet access to a distributed, decentralized multi-format document collection. It supports full text and boolean searches, thumbnail visual...
Gries, David, Teitelbaum, Tim, Reps, Thomas, Schneider, Fred B., Babaoglu, Ozalp, Birman, Kenneth P., ...
IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement:...
Gries, David, Teitelbaum, Tim, Reps, Thomas, Schneider, Fred B., Babaoglu, Ozalp, Birman, Kenneth P., ...
IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement:...
AVID: A system for the Interactive Development of Verifiably Correct Programs (1981)
The AVID system is designed to Aid Verification through the techniques of Interactive program Development. AVID continues the work in programming logics begun at Cornell University in 1975. It...
AVID: A system for the Interactive Development of Verifiably Correct Programs (1981)
The AVID system is designed to Aid Verification through the techniques of Interactive program Development. AVID continues the work in programming logics begun at Cornell University in 1975. It...
Determining Logical Dependency in a Decision Procedure for Equality (1981)
Krafft, Dean B., Demers, Alan J.
Several existing program verification and automated prooff systems make use of similar decision procedures for equality ([Krafft 1978], [Nelson and Oppen 1977] and [Downey, Sethi and Tarjan 1980])....
Determining Logical Dependency in a Decision Procedure for Equality (1981)
Krafft, Dean B., Demers, Alan J.
Several existing program verification and automated prooff systems make use of similar decision procedures for equality ([Krafft 1978], [Nelson and Oppen 1977] and [Downey, Sethi and Tarjan 1980])....
The Assertion Table System for the PL/CV2 Program Verifier (1978)
A system to implement the block structured storage of PL/CV2 assertions is described. The system allows certain simple logical deductions to be performed automatically. These include deductions...
The Assertion Table System for the PL/CV2 Program Verifier (1978)
A system to implement the block structured storage of PL/CV2 assertions is described. The system allows certain simple logical deductions to be performed automatically. These include deductions...