The camera’s movement in a film may seem straightforward or merely technical. Yet skillfully deployed pans, tilts, dollies, cranes, and zooms can express the emotions of a character, convey attitude and irony, or even challenge an ideological stance. In The Dynamic Frame, Patrick Keating offers an innovative history of the aesthetics of the camera that examines how camera movement shaped the classical Hollywood style. In careful readings of dozens of films, including Sunrise, The Grapes of Wrath, Rear Window, Sunset Boulevard, and Touch of Evil, Keating explores how major figures such as F. W. Murnau, Orson Welles, and Alfred Hitchcock used camera movement to enrich their stories and deepen their themes. Balancing close analysis with a broader poetics of camera movement, Keating uses archival research to chronicle the technological breakthroughs and the changing division of labor that allowed for new possibilities, as well as the shifting political and cultural contexts that inspired filmmakers to use technology in new ways. An original history of film techniques and aesthetics, The Dynamic Frame shows that the classical Hollywood camera moves not to imitate the actions of an omniscient observer but rather to produce the interplay of concealment and revelation that is an essential part of the exchange between film and viewer.
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.
The Hotine-Marussi Symposium is the core meeting of a “think thank”, a group scientists in the geodetic environment working on theoretical and methodological subjects, while maintaining the foundations of geodesy to the proper level by corresponding to the strong advancements improved by technological development in the field of ICT, electronic computing, space technology, new measurement devices etc. The proceedings of the symposium cover a broad area of arguments which integrate the foundations of geodesy as a science. The common feature of the papers therefore is not on the object, but rather in the high mathematical standards with which subjects are treated.
Multimedia stands as one of the most challenging and exciting aspects of the information era. Although there are books available that deal with various facets of multimedia, the field has urgently needed a comprehensive look at recent developments in the systems, processing, and applications of image and video data in a multimedia environment.
This book constitutes the refereed proceedings of the 4th International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: designing and developing smart environments; tracking and recognition techniques in ambient intelligence; human behavior in smart environments; emotions and affect in intelligent environments; and smart cities and communities.
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.