Now showing items 4-9 of 9

    • Determining Logical Dependency in a Decision Procedure for Equality 

      Krafft, Dean B.; Demers, Alan J. (Cornell University, 1981-04)
      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 general method ...
    • Dienst: Implementation Reference Manual 

      Lagoze, Carl; Shaw, Erin; Davis, James R.; Krafft, Dean B. (Cornell University, 1995-05)
      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 incorporates unique document ...
    • Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell 

      Gries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele (Internet-First University Press, 1985)
      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: A Fundamental Task Even ...
    • Meeting Funders’ Data Policies: Blueprint for a Research Data Management Service Group (RDMSG) 

      Block, William C.; Chen, Eric; Cordes, Jim; Dietrich, Dianne; Krafft, Dean B.; Kramer, Stefan; Lifka, David; McCue, Janet; Steinhart, Gail (2010-10-07)
      This report summarizes the elements that we expect to be required in data management plans, describes Cornell’s current capabilities and needs in meeting such requirements, and proposes a structure for a virtual organization ...
    • So, What Does a Chief Technology Strategist Actually Do? 

      Krafft, Dean B. (Cornell University Library, 2010-01-13)
      The Chief Technology Strategist helps the Library manage the disruptive transition to digital tools and resources. In this presentation Dean Krafft speaks of the challenges facing the Cornell Library and on some of the ...
    • Taking the Library Outside the Library: A Light-weight Innovation Model for Heavy-weight Economic Times 

      Krafft, Dean B.; Dietrich, Dianne; Krkoska, Baseema B. (Coalition for Networked Information, 2010-04-12)
      Cornell University Library's Library Outside the Library (LOL) team works to make the Library visible and usable outside of standard library places, tools and services. To accomplish this task, the team finds, configures, ...