Informatics: 10 Years Back. 10 Years Ahead

摘要: The Web.- Web in 2010: Challenges and Opportunities for Database Research.- Ubiquitous Data Management.- Programmable Networks.- Multilateral Security: Enabling Technologies Their Evaluation.- Cryptography 2000+-10.- A Language-Based Approach to Security.- Software.- Software Engineering the Years 2000 Minus Plus Ten.- Thinking Tools Future of Computing Science.- Orientations Verification Avionics Abstract Interpretation Based Formal Methods Challenges.- Extended Static Checking: Ten-Year Perspective.- Progress on State Explosion Problem Model Checking.- Political Issue: Open Source?.- From Research Source.- Architecture.- Microprocessors - 10 Back, Ahead.- Quantum Challenge.- Parallel Computation: MM +/- X.- Theory.- Computational Complexity Mathematical Proofs.- Logic Computer Science: Algorithm Program Library.- Artificial Intelligence.- Pervasive Speech Language Technology.- Embodied Intelligence Forward.- Graphics Vision.- Scientific Visualization Applications -.- Vision: Past Future.- Immersion into Other Disciplines.- Biology at Beginning Post-genomic Era.- Science Physics.