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

Avainsanat: COMPUTERS / Computer Science COM014000