Goldin, Dina
Interactive Computation
Part I.Introduction
1. Turing, Computing and Communication
Robin Milner
2. Computing and Interaction
Farhad Arbab
3. Principles of Interactive Computation
Dina Goldin, Peter Wegner
Part II.Theory
4. 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 Leeuwen, Jirí Wiedermann
7. Online Algorithms
Susanne Albers
8. Interactive Algorithms 2005 with Added Appendix
Yuri Gurevich
9. Computability Logic: A Formal Theory of Interaction
Giorgi Japaridze
Part III.Applications
10. Human-Computer Interaction
Michel Beaudouin-Lafon
11. Modeling Web Interactions and Errors
Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen
12. Composition of Interacting Computations
Farhad Arbab
13. From Information-Centric to Experiential Environments
Rahul Singh, Ramesh Jain
14. Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach
Chris Barrett, Stephen Eubank, Madhav Marathe
Part IV.New Directions
15. The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Andrea Omicini, Alessandro Ricci, Mirko Viroli
16. Coordination
Peter J. Denning, Thomas W. Malone
17. Social Interaction, Knowledge, and Social Software
Eric Pacuit, Rohit Parikh
18. Interaction, Computation, and Education
Lynn Andrea Stein
DRM-restrictions
Printing: not available
Clipboard copying: not available
Keywords: COMPUTERS / Computer Science COM014000
- Author(s)
- Goldin, Dina
- Smolka, Scott A.
- Wegner, Peter
- Publisher
- Springer
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783540348740