10 Years Back, 10 Years Ahead

  • Reinhard Wilhelm
Conference proceedings

DOI: 10.1007/3-540-44577-3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2000)

Table of contents (25 papers)

  1. Front Matter
    Pages I-IX
  2. The Web

    1. ...How to Make the Best Use of It

    2. ...What’s Underneath

      1. Programmable Networks
        Andrew T. Campbell, Michael E. Kounavis, John B. Vicente
        Pages 34-49
    3. ...How to Still Feel Secure

      1. Cryptography 2000±10
        Ueli Maurer
        Pages 63-85
      2. A Language-Based Approach to Security
        Fred B. Schneider, Greg Morrisett, Robert Harper
        Pages 86-101
  3. Software

    1. ... the Right Engineering

    2. ... the Right Tooling

      1. Extended Static Checking: A Ten-Year Perspective
        K. Rustan M. Leino
        Pages 157-175
      2. Progress on the State Explosion Problem in Model Checking
        Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
        Pages 176-194
  4. A Political Issue: Open Source?

    1. From Research Software to Open Source
      Susan L. Graham
      Pages 195-208
  5. Architecture

    1. Microprocessors — 10 Years Back, 10 Years Ahead
      Gurindar S. Sohi
      Pages 209-218
    2. The Quantum Computing Challenge
      Paul Vitányi
      Pages 219-233
    3. Parallel Computation: MM +/- X
      Lawrence Snyder
      Pages 234-250
  6. Theory

    1. ... Why It Is Needed

    2. ... How It Becomes Practice

      1. From Algorithm to Program to Software Library
        Kurt Mehlhorn
        Pages 268-273

About these proceedings


Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.
This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.


Information Technology (IT) Open Source algorithms artificial intelligence complexity computational science computer computer science database information logic software software engineering technology verification

Editors and affiliations

  • Reinhard Wilhelm
    • 1
  1. 1.FR InformatikUniversität des SaarlandesSaarbrückenGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41635-7
  • Online ISBN 978-3-540-44577-7
  • Series Print ISSN 0302-9743