Apress Windows 10 Release Sale

Interactive Computation

The New Paradigm

By Dina Goldin , Scott A. Smolka , Peter Wegner

  • eBook Price: $149.00
Buy eBook Buy Print Book

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

  • Add to Wishlist
  • ISBN13: 978-3-5403-4666-1
  • 502 Pages
  • User Level: Science
  • Publication Date: September 9, 2006
  • Available eBook Formats: PDF

Related Titles

  • Information Systems and Neuroscience
  • BPM - Driving Innovation in a Digital World
  • Data-Driven Process Discovery and Analysis
  • Physical Asset Management
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII
  • UML @ Classroom
  • AIDA-CMK: Multi-Algorithm Optimization Kernel Applied to Analog IC Sizing
  • Computational Color Imaging
  • Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines
  • Non-Linear Finite Element Analysis in Structural Mechanics
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).

Please Login to submit errata.

No errata are currently published


    1. Pro SQL Server Internals


      View Details

    2. Beginning 3D Game Development with Unity 4


      View Details

    3. Beginning iPhone Development with Swift


      View Details

    4. Financial Modeling for Business Owners and Entrepreneurs


      View Details