This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for...

In early reviews, geeks raved about Windows 7. But if you're an ordinary mortal, learning what this new system is all about will be challenging. Fear not: David Pogue's Windows 7: The Missing Manual comes to the rescue. Like its predecessors, this book illuminates its subject with reader-friendly insight, plenty of wit, and hardnosed objectivity for beginners as well as veteran PC users.Windows 7 fixes many of Vista's most painful shortcomings. It's speedier, has fewer int...

The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The c...

Animation, Embodiment and Digital Media articulates the human experience of technology-mediated animated phenomena in terms of sensory perception, bodily action and imaginative interpretation, suggesting a new theoretical framework with analyses of exemplary user interfaces, video games and interactive artworks.

How do we design a self-organizing system? Is it possible to validate and control non-deterministic dynamics? What is the right balance between the emergent patterns that bring robustness, adaptability and scalability, and the traditional need for verification and validation of the outcomes?The last several decades have seen much progress from original ideas of “emergent functionality” and “design for emergence”, to sophisticated mathematical formalisms of “guided self-organization...

This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel comput...

Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel framework for considering computer-generated images found in visual effects and animations.

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on parallel models, algorithms and programming methods; unconventional computing; cellular automata; distributed computing; special processors programming tec...

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineer...

The Mobile Ad Hoc Network (MANET) has emerged as the next frontier for wireless communications networking in both the military and commercial arena. Handbook of Mobile Ad Hoc Networks for Mobility Models introduces 40 different major mobility models along with numerous associate mobility models to be used in a variety of MANET networking environments in the ground, air, space, and/or under water mobile vehicles and/or handheld devices. These vehicles include cars, armors, ships, u...

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track d...