Informatics: 10 Years Back. 10 Years Ahead

Front Cover
Springer, Jun 29, 2003 - Computers - 372 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The
1
Challenges in Ubiquitous Data Management
24
How to Still Feel Secure
50
Cryptography 200010
63
A LanguageBased Approach to Security
86
the Right Engineering
102
Orientations in Verification Engineering of Avionics Software
131
A TenYear Perspective
157
MM + X
234
Theory
251
How It Becomes Practice
268
10 Years Back 10 Years Forward
294
Graphics and Vision
311
Past and Future
328
Immersion into Other Disciplines
341
Computer Science in Physics
356

Progress on the State Explosion Problem in Model Checking
176
Open Source?
195
Microprocessors 10 Years Back 10 Years Ahead
209

Other editions - View all

Common terms and phrases