2006

Interactive Computation

The New Paradigm

Editors:

ISBN: 978-3-540-34666-1 (Print) 978-3-540-34874-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages I-XIV

  2. Introduction

    1. Front Matter

      Pages XV-XV

    2. No Access

      Book Chapter

      Pages 1-8

      Turing, Computing and Communication

    3. No Access

      Book Chapter

      Pages 9-23

      Computing and Interaction

    4. No Access

      Book Chapter

      Pages 25-37

      Principles of Interactive Computation

  3. Theory

    1. Front Matter

      Pages 39-39

    2. No Access

      Book Chapter

      Pages 41-96

      A Theory of System Interaction: Components, Interfaces, and Services

    3. No Access

      Book Chapter

      Pages 97-117

      Verification of Open Systems

    4. No Access

      Book Chapter

      Pages 119-142

      A Theory of Interactive Computation

    5. No Access

      Book Chapter

      Pages 143-164

      Online Algorithms

    6. No Access

      Book Chapter

      Pages 165-182

      Interactive Algorithms 2005 with Added Appendix

    7. No Access

      Book Chapter

      Pages 183-223

      Computability Logic: A Formal Theory of Interaction

  4. Applications

    1. Front Matter

      Pages 225-225

    2. No Access

      Book Chapter

      Pages 227-254

      Human-Computer Interaction

    3. No Access

      Book Chapter

      Pages 255-275

      Modeling Web Interactions and Errors

    4. No Access

      Book Chapter

      Pages 277-321

      Composition of Interacting Computations

    5. No Access

      Book Chapter

      Pages 323-351

      From Information-Centric to Experiential Environments

    6. No Access

      Book Chapter

      Pages 353-392

      Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach

  5. New Directions

    1. Front Matter

      Pages 393-393

    2. No Access

      Book Chapter

      Pages 395-414

      The Multidisciplinary Patterns of Interaction from Sciences to Computer Science

    3. No Access

      Book Chapter

      Pages 415-439

      Coordination

    4. No Access

      Book Chapter

      Pages 441-461

      Social Interaction, Knowledge, and Social Software

    5. No Access

      Book Chapter

      Pages 463-484

      Interaction, Computation, and Education

  6. Back Matter

    Pages 485-487