Informatics: 10 Years Back. 10 Years AheadInformatics - 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. |
Contents
| 1 | |
Challenges in Ubiquitous Data Management | 24 |
How to Still Feel Secure | 50 |
Cryptography 200010 | 65 |
A LanguageBased Approach to Security | 86 |
Software | 102 |
Orientations in Verification Engineering of Avionics Software | 131 |
A TenYear Perspective | 137 |
The Quantum Computing Challenge | 219 |
MM + X | 234 |
Wolfgang Thomas | 257 |
From Algorithm to Program to Software Library Kurt Mehlhorn | 268 |
Rolf Pfeifer | 294 |
Scientific Visualization Methods and Applications | 311 |
Past and Future | 328 |
Immersion into Other Disciplines | 341 |
Progress on the State Explosion Problem in Model Checking | 176 |
Open Source? | 195 |
Architecture | 207 |
Computer Science in Physics | 356 |
| 369 | |
Other editions - View all
Common terms and phrases
abstract interpretation Active Networks algorithms analysis annotation application approach architecture artificial intelligence checker communication compiler complexity components Computer Science Computer Vision counterexample Cousot cryptography Cryptology database decade dialog dynamic enforcement environment ESC/Java example execution extended static field finite function Grand Challenge hardware IEEE implementation input integrated interaction interfaces Kripke structure Lecture Notes LNCS logic machine mathematical memory model checking module node Notes in Computer open source operating system parallel computer performance prediction problem Proc processing processors programmable networks programming language proof properties protein protocol PSPACE public-key quantum computer query robot security policy semantics sequence server simulation software engineering source code specification speculation speculative execution spin glass Springer-Verlag static checking Symposium target techniques theory tion translation trusted computing base ubiquitous computing Unix variables vector Verbmobil verification visualization