Scott A. Smolka – författare

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

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.

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: "e;Introduction"e;, consisting of three chapters that explore and summarize the fundamentals of interactive computation; "e;Theory"e; with six chapters, each discussing a specific aspect of interaction; "e;Applications"e; showing in five chapters how this principle is applied in various subdisciplines of computer science; and "e;New Directions"e; 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.