Interactive Computation (eBook)

The New Paradigm

Dina Goldin, Scott A. Smolka, Peter Wegner (Herausgeber)

eBook Download: PDF

2006 | 2006
XV, 487 Seiten
Springer Berlin (Verlag)
978-3-540-34874-0 (ISBN)

Infos

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: 'Introduction', comprising three chapters that explore and summarize the fundamentals of interactive computation; 'Theory' with six chapters, each discussing a specific aspect of interaction; 'Applications,' five chapters showing how this principle is applied in subdisciplines of computer science; and 'New Directions,' presenting four multidisciplinary applications. The book challenges traditional Turing machine-based answers to fundamental questions of problem solving and the scope of computation.

Dina Goldin is an adjunct faculty member in the computer science department at Brown University. Her work on models of interactive computation has been published in leading journals. She is the Information Director and member of editorial board of ACM Computing Reviews, and a senior member of the IEEE. She is also co-organizer of a new series of bi-annual workshops on the foundations of interactive computing (FInCo), founded in 2005.

Scott Smolka is a professor of computer science at Stony Brook University. His research interests include concurrency theory, model checking, and systems biology, and he has over 100 refereed publications in these areas. He is on the editorial board of Software Tools for Technology, Formal Methods in System Design, and Transactions on Computational Logic. He is also co-founder and president of Reactive Systems, Inc., which makes the Reactis tool suite for the automated testing and validation of embedded control software.

Peter Wegner is professor emeritus of computer science at Brown University. During his distinguished career, Peter has written or edited over a dozen books in the areas of programming languages and software engineering, and has held a number of leading editorial positions. He was awarded the Austrian Medal of Honor (Ehrenkreuz) for his scientific contributions, and an ACM Distinguished Service Award for leadership in charting research directions for computer science.

Inhalt

Preface 6
Contents 11
Introduction 13
Turing, Computing and Communication 14
Computing and Interaction 22
Principles of Interactive Computation 37
Theory 50
A Theory of System Interaction: Components, Interfaces, and Services 51
Verification of Open Systems 107
A Theory of Interactive Computation 128
Online Algorithms 152
Interactive Algorithms 2005 with Added Appendix 174
Computability Logic: A Formal Theory of Interaction 192
Applications 233
Human–Computer Interaction 234
Modeling Web Interactions and Errors 262
Composition of Interacting Computations 283
From Information-Centric to Experiential Environments 328
Modeling and Simulation of Large Biological, Information and Socio- Technical Systems: An Interaction Based Approach 357
New Directions 397
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science 398
Coordination 418
Social Interaction, Knowledge, and Social Software 443
Interaction, Computation, and Education 464
List of Contributors 486

Produkt-Details

• Erscheint lt. Verlag: 9.9.2006
• Zusatzinfo: XV, 487 p. 84 illus.
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Web / Internet
• Schlagworte: algorithm • algorithms • Communication • Computability • Computer Science • Concurrency • Concurrency Models • Experimental Computing • Human-Computer Interaction (HCI) • Information • Interactive Paradigm • Modeling • Network • Nondeterministic Models • Online • Turing Machine • Turing Machines • user interface • verification
• ISBN-10: 3-540-34874-3 / 3540348743
• ISBN-13: 978-3-540-34874-0 / 9783540348740