Skip to main content
SpringerLink
Log in

Informatics

10 Years Back. 10 Years Ahead

  • Book
  • © 2001

Overview

Editors:
  1. Reinhard Wilhelm

    1. FR Informatik, Universität des Saarlandes, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. The Web

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

      1. The Web in 2010: Challenges and Opportunities for Database Research
        • Gerhard Weikum
        Pages 1-23
      2. Challenges in Ubiquitous Data Management
        • Michael J. Franklin
        Pages 24-33

    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. Multilateral Security: Enabling Technologies and Their Evaluation
        • Andreas Pfitzmann
        Pages 50-62
      2. Cryptography 2000±10
        • Ueli Maurer
        Pages 63-85
      3. A Language-Based Approach to Security
        • Fred B. Schneider, Greg Morrisett, Robert Harper
        Pages 86-101

  3. Software

    1. ... the Right Engineering

      1. Software Engineering in the Years 2000 Minus and Plus Ten
        • Jochen Ludewig
        Pages 102-111
      2. Thinking Tools for the Future of Computing Science
        • Cliff B. Jones
        Pages 112-130
      3. Orientations in Verification Engineering of Avionics Software
        • Famantanantsoa Randimbivololona
        Pages 131-137

    2. ... the Right Tooling

      1. Abstract Interpretation Based Formal Methods and Future Challenges
        • Patrick Cousot
        Pages 138-156
      2. Extended Static Checking: A Ten-Year Perspective
        • K. Rustan M. Leino
        Pages 157-175
      3. 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

      1. Computational Complexity and Mathematical Proofs
        • Juris Hartmanis
        Pages 251-256
      2. Logic for Computer Science: The Engineering Challenge
        • Wolfgang Thomas
        Pages 257-267

    2. ... How It Becomes Practice

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

Keywords

About this book

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.

Editors and Affiliations

  • FR Informatik, Universität des Saarlandes, Saarbrücken, Germany

    Reinhard Wilhelm

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation