Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: XV, 487 p. 84 illus. online resourceContent type:- text
- computer
- online resource
- 9783540348740
- 004.0151 23
- QA75.5-76.95

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.