Book Volume 2000 2001

Informatics

10 Years Back, 10 Years Ahead

Editors:

ISBN: 978-3-540-41635-7 (Print) 978-3-540-44577-7 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages I-IX

  2. The Web

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

      1. No Access

        Chapter and Conference Paper

        Pages 1-23

        The Web in 2010: Challenges and Opportunities for Database Research

      2. No Access

        Chapter and Conference Paper

        Pages 24-33

        Challenges in Ubiquitous Data Management

      ...What’s Underneath

      1. No Access

        Chapter and Conference Paper

        Pages 34-49

        Programmable Networks

      ...How to Still Feel Secure

      1. No Access

        Chapter and Conference Paper

        Pages 50-62

        Multilateral Security: Enabling Technologies and Their Evaluation

      2. No Access

        Chapter and Conference Paper

        Pages 63-85

        Cryptography 2000±10

      3. No Access

        Chapter and Conference Paper

        Pages 86-101

        A Language-Based Approach to Security

  3. Software

    1. ... the Right Engineering

      1. No Access

        Chapter and Conference Paper

        Pages 102-111

        Software Engineering in the Years 2000 Minus and Plus Ten

      2. No Access

        Chapter and Conference Paper

        Pages 112-130

        Thinking Tools for the Future of Computing Science

      3. No Access

        Chapter and Conference Paper

        Pages 131-137

        Orientations in Verification Engineering of Avionics Software

      ... the Right Tooling

      1. No Access

        Chapter and Conference Paper

        Pages 138-156

        Abstract Interpretation Based Formal Methods and Future Challenges

      2. No Access

        Chapter and Conference Paper

        Pages 157-175

        Extended Static Checking: A Ten-Year Perspective

      3. No Access

        Chapter and Conference Paper

        Pages 176-194

        Progress on the State Explosion Problem in Model Checking

  4. A Political Issue: Open Source?

    1. No Access

      Chapter and Conference Paper

      Pages 195-208

      From Research Software to Open Source

  5. Architecture

    1. No Access

      Chapter and Conference Paper

      Pages 209-218

      Microprocessors — 10 Years Back, 10 Years Ahead

    2. No Access

      Chapter and Conference Paper

      Pages 219-233

      The Quantum Computing Challenge

    3. No Access

      Chapter and Conference Paper

      Pages 234-250

      Parallel Computation: MM +/- X

  6. Theory

    1. ... Why It Is Needed

      1. No Access

        Chapter and Conference Paper

        Pages 251-256

        Computational Complexity and Mathematical Proofs

      2. No Access

        Chapter and Conference Paper

        Pages 257-267

        Logic for Computer Science: The Engineering Challenge

      ... How It Becomes Practice

      1. No Access

        Chapter and Conference Paper

        Pages 268-273

        From Algorithm to Program to Software Library

  7. Artificial Intelligence

    1. No Access

      Chapter and Conference Paper

      Pages 274-293

      Pervasive Speech and Language Technology

previous Page of 2