- 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
- Part I Introduction: Turing, Computing and Communication (Robin Milner)
- Computing and Interaction (Farhad Arbab)
- Principles of Interactive Computation (Dina Goldin, Peter Wegner).
- Part II Theory: A Theory of System Interaction: Components, Interfaces, and Services (Manfred Broy)
- Verification of Open Systems (Orna Kupferman, Moshe Y. Vardi)
- A Theory of Interactive Computation (Jan van Leeuwen, Jiri Wiedermann)
- Online Algorithms (Susanne Albers)
- Interactive Algorithms 2005 (Yuri Gurevich)
- Computability Logic: A Formal Theory of Interaction (Giorgi Japardize).
- Part III Applications: Human
- Computer Interaction (Michel Beaudouin
- Modeling Web Interactions and Errors (Shiram Krishnamurthi et.al.)
- Composition of Interacting Computations (Farhab Arbab)
- From Information
- Centric to Experimental Environments (Rahul Singh, Ramesh Jain)
- Modeling and Simulation of Large Biological, Information and Socio
- Temporal Systems: An Interaction Based Approach (Chris Barrett et.al.).
- Part IV New Directions: The Multi
- Disciplinary Patterns of Interaction from Sciences to Computer Science (Andrea Omicini et.al.)
- Coordination (Peter J. Denning, Thomas W. Malone)
- Social Interaction, Knowledge, and Social Software (Eric Pacuit, Rohit Parikh)
- Interaction, Computation, and Education (Lynn Andrea Stein).
Please Login to submit errata.No errata are currently published