Interactive Computation [electronic resource] : The New Paradigm /
Goldin, Dina.editor.
Smolka, Scott A.editor.
Wegner, Peter.editor.
Challenges traditional Turing machine-based answers to fundamental questions relating to problem solving and the scope of computation. Assuming the reader has only an undergraduate-level background in computer science, this book serves as an introduction to this important discipline.
Description based upon print version of record.
Challenges traditional Turing machine-based answers to fundamental questions relating to problem solving and the scope of computation. Assuming the reader has only an undergraduate-level background in computer science, this book serves as an introduction to this important discipline.
Includes bibliographical references.
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.
Computers.
Computer programming.
User interfaces (Computer systems).
Theory of Computation.
Programming Techniques.
Models and Principles.
User Interfaces and Human Computer Interaction.