Interactive Computation

The New Paradigm

By Dina Goldin , Scott A. Smolka , Peter Wegner

Interactive Computation Cover Image

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. It challenges traditional answers to questions of problem solving and the scope of computation.

Full Description

  • ISBN13: 978-3-5403-4666-1
  • 502 Pages
  • User Level: Science
  • Publication Date: September 9, 2006
  • Available eBook Formats: PDF
  • eBook Price: $169.00
Buy eBook Buy Print Book Add to Wishlist
Full Description
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. Goldin, Smolka, and Wegner have structured the 18 contributions from distinguished researchers into four sections: 'Introduction', consisting of three chapters that explore and summarize the fundamentals of interactive computation; 'Theory' with six chapters, each discussing a specific aspect of interaction; 'Applications' showing in five chapters how this principle is applied in various subdisciplines of computer science; and 'New Directions' presenting four multidisciplinary applications beyond computer science. The book 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, it serves as an introduction to this increasingly important discipline.
Table of Contents

Table of Contents

  1. Part I Introduction: Turing, Computing and Communication (Robin Milner)
  2. Computing and Interaction (Farhad Arbab)
  3. Principles of Interactive Computation (Dina Goldin, Peter Wegner).
  4. Part II Theory: A Theory of System Interaction: Components, Interfaces, and Services (Manfred Broy)
  5. Verification of Open Systems (Orna Kupferman, Moshe Y. Vardi)
  6. A Theory of Interactive Computation (Jan van Leeuwen, Jiri Wiedermann)
  7. Online Algorithms (Susanne Albers)
  8. Interactive Algorithms 2005 (Yuri Gurevich)
  9. Computability Logic: A Formal Theory of Interaction (Giorgi Japardize).
  10. Part III Applications: Human
  11. Computer Interaction (Michel Beaudouin
  12. Lafon)
  13. Modeling Web Interactions and Errors (Shiram Krishnamurthi et.al.)
  14. Composition of Interacting Computations (Farhab Arbab)
  15. From Information
  16. Centric to Experimental Environments (Rahul Singh, Ramesh Jain)
  17. Modeling and Simulation of Large Biological, Information and Socio
  18. Temporal Systems: An Interaction Based Approach (Chris Barrett et.al.).
  19. Part IV New Directions: The Multi
  20. Disciplinary Patterns of Interaction from Sciences to Computer Science (Andrea Omicini et.al.)
  21. Coordination (Peter J. Denning, Thomas W. Malone)
  22. Social Interaction, Knowledge, and Social Software (Eric Pacuit, Rohit Parikh)
  23. Interaction, Computation, and Education (Lynn Andrea Stein).
Errata

Please Login to submit errata.

No errata are currently published