| 内容： |
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 with Added Appendix / Yuri Gurevich -- Computability Logic: A Formal Theory of Interaction / Giorgi Japaridze -- Part III Applications: Human-Computer Interaction / Michel Beaudouin-Lafon -- Modeling Web Interactions and Errors / Shriram Krishnamurthi ...[et al.] -- Composition of Interacting Computations / Farhad Arbab -- From Information-Centric to Experiential Environments / Rahul Singh, Ramesh Jain -- 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: The Multidisciplinary Patterns of Interaction from Sciences to Computer Science / Andrea Omicini, Alessandro Ricci, Mirko Viroli -- Coordination / Peter J. Denning, Thomas W. Malone -- Social Interaction, Knowledge, and Social Software / Eric Pacuit, Rohit Parikh -- Interaction, Computation, and Education / Lynn Andrea Stein. |
引证/输出
预览资料