Interactive Computation: The New Paradigm by Dina GoldinInteractive Computation: The New Paradigm by Dina Goldin

Interactive Computation: The New Paradigm

byDina GoldinEditorScott A. Smolka, Peter Wegner

Paperback | October 14, 2010

Pricing and Purchase Info


Earn 1,583 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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...
Title:Interactive Computation: The New ParadigmFormat:PaperbackDimensions:487 pages, 23.5 × 15.5 × 0.07 inPublished:October 14, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642071023

ISBN - 13:9783642071027

Look for similar items by category:


Table of Contents

Part I Introduction: 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 (Yuri Gurevich) - Computability Logic: A Formal Theory of Interaction (Giorgi Japardize).- Part III Applications: Human-Computer Interaction (Michel Beaudouin-Lafon) - Modeling Web Interactions and Errors (Shiram Krishnamurthi - Composition of Interacting Computations (Farhab Arbab) - From Information-Centric to Experimental Environments (Rahul Singh, Ramesh Jain) - Modeling and Simulation of Large Biological, Information and Socio-Temporal Systems: An Interaction Based Approach (Chris Barrett Part IV New Directions: The Multi-Disciplinary Patterns of Interaction from Sciences to Computer Science (Andrea Omicini - Coordination (Peter J. Denning, Thomas W. Malone) - Social Interaction, Knowledge, and Social Software (Eric Pacuit, Rohit Parikh) - Interaction, Computation, and Education (Lynn Andrea Stein).

Editorial Reviews

From the reviews:"It is interesting that a book on interactive computation is constructed as a large cooperative effort involving 31 contributors; three of them also performed the editing task. . Each section appears to be self contained--one may read in detail a chapter of personal interest in the middle of the book without having reference other material in the book. Each chapter has an excellent self-contained collection of references. . Summing Up: Recommended. Upper-division undergraduates through professionals." (J. Beidler, CHOICE, Vol. 44 (9), May, 2007)