Interactive Computation The New Paradigm /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Goldin, Dina (Editor), Smolka, Scott A. (Editor), Wegner, Peter (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Subjects: Computer science.; Computer programming.; Computers.; User interfaces (Computer systems).; Computer Science.; Theory of Computation.; Programming Techniques.; Models and Principles.; User Interfaces and Human Computer Interaction.

Table of Contents:

• Turing, Computing and Communication
• Computing and Interaction
• Principles of Interactive Computation
• Theory
• A Theory of System Interaction: Components, Interfaces, and Services
• Verification of Open Systems
• A Theory of Interactive Computation
• Online Algorithms
• Interactive Algorithms 2005 with Added Appendix
• Computability Logic: A Formal Theory of Interaction
• Applications
• Human-Computer Interaction
• Modeling Web Interactions and Errors
• Composition of Interacting Computations
• From Information-Centric to Experiential Environments
• Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach
• New Directions
• The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
• Coordination
• Social Interaction, Knowledge, and Social Software
• Interaction, Computation, and Education.