E-Book, Englisch, 487 Seiten
Goldin / Wegner Interactive Computation
1. Auflage 2006
ISBN: 978-3-540-34874-0
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
The New Paradigm
E-Book, Englisch, 487 Seiten
ISBN: 978-3-540-34874-0
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
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. Editors Goldin, Smolka and Wegner have structured 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.
Autoren/Hrsg.
Weitere Infos & Material
1;Preface;6
2;Contents;11
3;Introduction;13
3.1;Turing, Computing and Communication;14
3.2;Computing and Interaction;22
3.3;Principles of Interactive Computation;37
4;Theory;50
4.1;A Theory of System Interaction: Components, Interfaces, and Services;51
4.2;Verification of Open Systems;107
4.3;A Theory of Interactive Computation;128
4.4;Online Algorithms;152
4.5;Interactive Algorithms 2005 with Added Appendix;174
4.6;Computability Logic: A Formal Theory of Interaction;192
5;Applications;233
5.1;Human–Computer Interaction;234
5.2;Modeling Web Interactions and Errors;262
5.3;Composition of Interacting Computations;283
5.4;From Information-Centric to Experiential Environments;328
5.5;Modeling and Simulation of Large Biological, Information and Socio- Technical Systems: An Interaction Based Approach;357
6;New Directions;397
6.1;The Multidisciplinary Patterns of Interaction from Sciences to Computer Science;398
6.2;Coordination;418
6.3;Social Interaction, Knowledge, and Social Software;443
6.4;Interaction, Computation, and Education;464
7;List of Contributors;486
