Informatics: 10 Years Back. 10 Years Ahead
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.
Challenges in Ubiquitous Data Management
How to Still Feel Secure
A LanguageBased Approach to Security
the Right Engineering
Orientations in Verification Engineering of Avionics Software
A TenYear Perspective
MM + X
How It Becomes Practice
10 Years Back 10 Years Forward
Graphics and Vision
Past and Future
Immersion into Other Disciplines
Computer Science in Physics
Other editions - View all
abstract interpretation Active Networks algorithms analysis annotation application approach architecture cache checker communication compiler complexity components Computer Science counterexample Cousot cryptography 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 processors programmable network programming language proof properties protein protocol PSPACE public-key quantum computer query random robot security policy semantics sequence server simulation software engineering source code specification speculation speculative execution spin glass Springer-Verlag static checking static program analysis Symposium target techniques theory tion translation trusted computing base type systems ubiquitous computing Unix variables vector Verbmobil verification visualization