You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The first book to harness the power of .NET for system design, System Level Design with .NET Technology constitutes a software-based approach to design modeling verification and simulation. World class developers, who have been at the forefront of system design for decades, explain how to tap into the power of this dynamic programming environment for more effective and efficient management of metadata—and introspection and interoperability between tools. Using readily available technology, the text details how to capture constraints and requirements at high levels and describes how to percolate them during the refinement process. Departing from proprietary environments built around System ...
Why is social media in southeast Italy so predictable when it is used by such a range of different people? This book describes the impact of social media on the population of a town in the southern region of Puglia, Italy. Razvan Nicolescu spent 15 months living among the town’s residents, exploring what it means to be an individual on social media. Why do people from this region conform on platforms that are designed for personal expression? Nicolescu argues that social media use in this region of the world is related to how people want to portray themselves. He pays special attention to the ability of users to craft their appearance in relation to collective ideals, values and social positions, and how this feature of social media has, for the residents of the town, become a moral obligation: they are expected to be willing to adapt their appearance to suit their different audiences at the same time, which is crucial in a town where religion and family are at the heart of daily life.
This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France, in December 2021. The 18 full papers and 9 short paper presented in this book were carefully reviewed and selected from 62 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privacy by Design. Chapters “A Quantile-based Watermarking Approach for Distortion Minimization”, “Choosing Wordlists for Password Guessing: An Adaptive Multi-Armed Bandit Approach” and “A Comparative Analysis of Machine Learning Techniques for IoT Intrusion Detection” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
How can exhibitions not only stage existing knowledge, but also raise questions that lead to new research? This question has become ever more relevant due to the museum sector's growing interest in the development of thematic exhibitions that combine narratives and objects from art, science, cultural history, and everyday life. Using theories from interdisciplinarity studies, Henriette Pleiger identifies different ways of producing knowledge during the exhibition-making process, as well as the mechanisms that are necessary for an exhibition to be considered interdisciplinary. The development of such exhibitions can be understood as collaborative research processes.
The exponential progress and accessibility of computing has vastly increased data flows and revolutionized the practice of science, engineering, and communication. Computing plays a critical role in advancing research across almost every scientific discipline. Computation for Humanity: Information Technology to Advance Society is a guide for the creation of services, products, and tools that facilitate, support, and enhance progress of humanity toward more sustainable life. This book: Provides a deep understanding of the practical applications of computation to solve human-machine problems Delivers insight into theoretical approaches in an accessible manner Provides a comprehensive overview ...
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.
What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can ta...
A Multi-Processor System-on-Chip (MPSoC) is the key component for complex applications. These applications put huge pressure on memory, communication devices and computing units. This book, presented in two volumes Architectures and Applications therefore celebrates the 20th anniversary of MPSoC, an interdisciplinary forum that focuses on multi-core and multi-processor hardware and software systems. It is this interdisciplinarity which has led to MPSoC bringing together experts in these fields from around the world, over the last two decades. Multi-Processor System-on-Chip 2 covers application-specific MPSoC design, including compilers and architecture exploration. This second volume describes optimization methods, tools to optimize and port specific applications on MPSoC architectures. Details on compilation, power consumption and wireless communication are also presented, as well as examples of modeling frameworks and CAD tools. Explanations of specific platforms for automotive and real-time computing are also included.
Embedded systems are nearly ubiquitous, and books on individual topics or components of embedded systems are equally abundant. Unfortunately, for those designers who thirst for knowledge of the big picture of embedded systems there is not a drop to drink. Until now. The Embedded Systems Handbook is an oasis of information, offering a mix of basic a
The opening of classified documents from the Soviet era has been dubbed the "archival revolution" due to its unprecedented scale, drama, and impact. With a storyteller's sensibility, Cristina Vatulescu identifies and takes on the main challenges of reading in these archives. This transnational study foregrounds peripheral Eastern European perspectives and the ethical stakes of archival research. In so doing, it contributes to the urgent task of decolonizing the field of Eastern European and Russian studies at this critical moment in the region's history. Drawing on diverse work ranging from Mikhail Bakhtin to Tina Campt, the book enters into broader conversations about the limits and potenti...