Informatics: 10 Years Back, 10 Years Ahead

✍ Scribed by Gerhard Weikum (auth.), Reinhard Wilhelm (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2001
• Tongue: English
• Leaves: 378
• Series: Lecture Notes in Computer Science 2000
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

The Web in 2010: Challenges and Opportunities for Database Research....Pages 1-23
Challenges in Ubiquitous Data Management....Pages 24-33
Programmable Networks....Pages 34-49
Multilateral Security: Enabling Technologies and Their Evaluation....Pages 50-62
Cryptography 2000±10....Pages 63-85
A Language-Based Approach to Security....Pages 86-101
Software Engineering in the Years 2000 Minus and Plus Ten....Pages 102-111
Thinking Tools for the Future of Computing Science....Pages 112-130
Orientations in Verification Engineering of Avionics Software....Pages 131-137
Abstract Interpretation Based Formal Methods and Future Challenges....Pages 138-156
Extended Static Checking: A Ten-Year Perspective....Pages 157-175
Progress on the State Explosion Problem in Model Checking....Pages 176-194
From Research Software to Open Source....Pages 195-208
Microprocessors — 10 Years Back, 10 Years Ahead....Pages 209-218
The Quantum Computing Challenge....Pages 219-233
Parallel Computation: MM +/- X....Pages 234-250
Computational Complexity and Mathematical Proofs....Pages 251-256
Logic for Computer Science: The Engineering Challenge....Pages 257-267
From Algorithm to Program to Software Library....Pages 268-273
Pervasive Speech and Language Technology....Pages 274-293
Embodied Artificial Intelligence 10 Years Back, 10 Years Forward....Pages 294-310
Scientific Visualization - Methods and Applications -....Pages 311-327
Computer Vision: Past and Future....Pages 328-340
Computational Biology at the Beginning of the Post-genomic Era....Pages 341-355
Computer Science in Physics....Pages 356-368

✦ Subjects

Software Engineering/Programming and Operating Systems; Theory of Computation; Information Systems and Communication Service; Computing Methodologies; Computer Systems Organization and Communication Networks