Guest | Login
Company: Keywords: Online only:
Part Title Status
SRC RR-134a From Quadrangular Sets to the Budget Matroids
  • Online
SRC RR-135a DeckScape: An Experimental Web Browser
  • Online
SRC RR-136 A Functional Specification of the Alpha AXP Shared Memory Model
  • Online
SRC RR-137 Proving Possibility Properties
  • Online
SRC RR-138 Migratory Applications
  • Online
SRC RR-139a WebCard: Integrated and Uniform Access to Mail, News, and the Web
  • Online
SRC RR-14 An O(n²) Shortest Path Algorithm For A Non-Rotating Convex Body
  • Online
SRC RR-140 Zippers: A Focus+Context Display of Web Pages
  • Online
SRC RR-141a Distributed Active Objects
  • Online
SRC RR-142 Collaborative Active Textbooks: A Web-Based Algorithm Animation System for an Electronic Classroom
  • Online
SRC RR-143 To Provide or To Bound: Sampling in Fully Dynamic Graph Algorithms
  • Online
SRC RR-144 Program Fragments, Linking, and Modularization
  • Online
SRC RR-145 Modularity in the Presence of Subclassing
  • Online
SRC RR-146 Studies of Windows NT Performance using Dynamic Execution Traces
  • Online
SRC RR-147 Should Your Specification Language Be Typed?
  • Online
SRC RR-148 Service Combinators for Web Computing
  • Online
SRC RR-149 A Calculus for Cryptographic Protocols: The Spi Calculus
  • Online
SRC RR-15 A Simple Approach to Specifying Concurrent Systems
  • Online
SRC RR-150 Smooth Scheduling in a Cell-Based Switching Network
  • Online
SRC RR-151 Reports 100-150: The Abstracts
  • Online