𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Interactive Computation: The New Paradigm

✍ Scribed by Robin Milner (auth.), Dina Goldin, Scott A. Smolka, Peter Wegner (eds.)


Publisher
Springer
Year
2006
Tongue
English
Leaves
487
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.

✦ Table of Contents


Front Matter....Pages XV-XV
Turing, Computing and Communication....Pages 1-8
Computing and Interaction....Pages 9-23
Principles of Interactive Computation....Pages 25-37
Front Matter....Pages 39-39
A Theory of System Interaction: Components, Interfaces, and Services....Pages 41-96
Verification of Open Systems....Pages 97-117
A Theory of Interactive Computation....Pages 119-142
Online Algorithms....Pages 143-164
Interactive Algorithms 2005 with Added Appendix....Pages 165-182
Computability Logic: A Formal Theory of Interaction....Pages 183-223
Front Matter....Pages 225-225
Human-Computer Interaction....Pages 227-254
Modeling Web Interactions and Errors....Pages 255-275
Composition of Interacting Computations....Pages 277-321
From Information-Centric to Experiential Environments....Pages 323-351
Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach....Pages 353-392
Front Matter....Pages 393-393
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science....Pages 395-414
Coordination....Pages 415-439
Social Interaction, Knowledge, and Social Software....Pages 441-461
Interaction, Computation, and Education....Pages 463-484

✦ Subjects


User Interfaces and Human Computer Interaction


πŸ“œ SIMILAR VOLUMES


Interactive Computation: The New Paradig
✍ Dina Goldin, Scott A. Smolka, Peter Wegner πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

<P>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.</P> <P>Goldin,

New Paradigms in Internet Computing
✍ Waris Chanei, Sakuna Charoenpanyasak (auth.), Srikanta Patnaik, Piyu Tripathy, S πŸ“‚ Library πŸ“… 2013 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>The renaissance of internet has reached the mainstream that is named as Web 2.0. People are now using the web to build things they have never thought of earlier. Experts take a step forward to what we contribute, and extend it and give back to the society, i.e. really the boon of internet comp

New Paradigms in Internet Computing
✍ Waris Chanei, Sakuna Charoenpanyasak (auth.), Srikanta Patnaik, Piyu Tripathy, S πŸ“‚ Library πŸ“… 2013 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>The renaissance of internet has reached the mainstream that is named as Web 2.0. People are now using the web to build things they have never thought of earlier. Experts take a step forward to what we contribute, and extend it and give back to the society, i.e. really the boon of internet comp

The New Foreign Policy : Complex Interac
✍ Laura Neack πŸ“‚ Library πŸ“… 2013 πŸ› Rowman & Littlefield Publishers 🌐 English

Integrating theory and case studies, this cogent text explores the processes and factors that shape foreign policy. In her thoroughly revised and updated edition, Laura Neack considers both old and new lessons, drawing on a rich array of real foreign policy choices and outcomes. In new cases, Neack

Internetware: A New Software Paradigm fo
✍ Hong Mei, Jian LΓΌ (auth.) πŸ“‚ Library πŸ“… 2016 πŸ› Springer Singapore 🌐 English

This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-wor

Affective Interactions: Towards a New Ge
✍ Ana Paiva (auth.), Ana Paiva (eds.) πŸ“‚ Library πŸ“… 2000 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>Affective computing is a fascinating new area of research emerging in computer science. It dwells on problems where "computing is related to, arises from or deliberately influences emotions" (Picard 1997). Following this new research direction and considering the human element as crucial in desig