Scott A. Smolka - Böcker
Visar alla böcker från författaren Scott A. Smolka. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 8734 - Lecture Notes in Computer Science
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Häftad, Engelska, 2014
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
1 625 kr
Skickas inom 10-15 vardagar
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.
1 625 kr
Skickas inom 10-15 vardagar
The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. It challenges traditional answers to questions of problem solving and the scope of computation.