الصفحة 1
الصفحة 1
One Hundred Years of Chemical Warfare : Research, Deployment, Consequences
On April 22, 1915, the German military released 150 tons of chlorine gas at Ypres, Belgium. Carried by a long-awaited wind, the chlorine cloud passed within a few minutes through the British and French trenches, leaving behind at least 1,000 dead and 4,000 injured. This chemical attack, which amounted to the first use of a weapon of mass destruction, marks a turning point in world history. The preparation as well as the execution of the gas attack was orchestrated by Fritz Haber, the director of the Kaiser Wilhelm Institute for Physical Chemistry and Electrochemistry in Berlin-Dahlem. During World War I, Haber transformed his research institute into a center for the development of chemical weapons (and of the means of protection against them).
Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Multiple Heterogeneous Unmanned Aerial Vehicles
Aerial robots can be considered as an evolution of the Unmanned Aerial Vehicles (UAVs). This book provides a quite complete overview of issues related to aerial robotics, addressing problems ranging from flight control to terrain perception and mission planning and execution. The major challenges and potentials of heterogeneous UAVs are comprehensively explored. It builds on the results of the European project COMETS, and highlights a number of key research topics in the area of UAV development, including communication, perception, teleoperation and decision making. The monograph emphasizes the current state of technology, the existing problems and potentialities of systems consisting of multiple UAVs which are heterogeneous in view of the different characteristics of the aerial vehicles, the different on-board payloads, and the different on-board information processing capabilities. The book also examines potential applications of UAVs and details a relevant application case: forest fire detection and monitoring.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Mobile Service Computing
This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of service computing in mobile environments, including key methods and techniques for service selection, recommendation, composition, offloading, execution, deployment, and provision.
Microprocessor 4 : Core concepts - software aspects
Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the Instruction Set Architecture (ISA) of a generic component are presented. Futhermore, two approaches are discussed for altering the flow of execution using mechanisms of subprogram and interrupt. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Metric Driven Design Verification : An Engineer's and Executive's Guide to First Pass Success
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically trackable metrics that will be used to measure progress. 2. Execution: Implementing verification environments and then extensively exercising the device under verification utilizing comprehensive, massively parallel regression strategies. 3. Measurement: Automatically capturing the metrics defined in planning to provide objective data with which to manage the verification project. Custom tailoring those metrics through an automated reporting framework to provide all stakeholders a real-time meaningful view of project status. 4. Response: Utilizing the returned metrics to effectively adapt to changing project conditions. Making use of automated response mechanisms to automate engineering processed and management response to streamline project management processes
Introduction to Intelligent Construction Technology of Transportation Infrastructure
Expounds on the related technologies of intelligent transportation infrastructure construction. Based on the essential characteristics of intelligent construction, "perception, analysis, decision-making, and execution," the basic structure of intelligent construction technology (ICT) is established. With the integration of engineering construction technologies, the analyses of the essence of intelligent algorithms and the feasibility of Artificial Intelligence (AI) are provided. The book introduces the essential characteristics of Big Data and the Internet of Things and their relationship with engineering construction. On this basis, the feasibility and implementation plan of intelligent technology applications in design, construction, and maintenance are analyzed and demonstrated with engineering examples.
Internal Audit Handbook : Management with the SAP®-Audit Roadmap
The "Internal Audit Handbook" is a comprehensive, up-to-date presentation of the tasks and challenges facing internal audit. The handbook is based on the audit work of SAP®'s global internal audit department, which obtained the highest score available, "Generally Conforms," during a quality assessment review performed by the Institute of Internal Auditors. It presents the Audit Roadmap, the process model of internal auditing developed at SAP®, describing all stages of an audit. The in-depth description provides information on issues such as the identification of audit fields, the annual audit planning, the organization and execution of audits as well as reporting and follow-up. The handbook also discusses management-related subjects, e.g. the organizational structure of an internal audit department.
Interdisciplinary Perspectives on Mortality and its Timings : When is Death?
This volume provides a series of illuminating perspectives on the timings of death, through in-depth studies of Shakespearean tragedy, criminal execution, embalming practices, fears of premature burial, rumours of Adolf Hitler’s survival, and the legal concept of brain death. In doing so, it explores a number of questions, including: how do we know if someone is dead or not? What do people experience at the moment when they die? Is death simply a biological event that comes about in temporal stages of decomposition, or is it a social event defined through cultures, practices, and commemorations? In other words, when exactly is death? Taken together, these contributions explore how death emerges in a series of stages that are uncertain, paradoxical, and socially contested.
Human Haptic Perception : Basics and Applications
Active touch perception – also known as haptic perception – is of primary importance for the planning, direction and execution of everyday actions. This most complex of human sensory systems is gaining ever more importance for various scientific disciplines as well as practical industrial applications.In this book an international team of 80 authors presents a comprehensive collection of writings on both aspects of research on human haptic perception. After a theoretical and historical introduction, the chapters are dedicated to neurophysiological basics as well as the psychological, clinical and neuropsychological aspects of haptic perception. Results of studies into human haptic perception in the fields of virtual haptics and robotics are also included. In the final section, contributions from the applied and industrial sectors illustrate the practical uses of knowledge about the human sense of touch.
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately in the areas of planning and scheduling on the one hand and control on the other. In this book we propose these two areas can be integrated through adopting a focus on execution.
Harnessing the Power of the Criminal Corpse
This book is the culmination of many years of research on what happened to the bodies of executed criminals in the past. Focusing on the eighteenth and nineteenth centuries, it looks at the consequences of the 1752 Murder Act. These criminal bodies had a crucial role in the history of medicine, and the history of crime, and great symbolic resonance in literature and popular culture. Starting with a consideration of the criminal corpse in the medieval and early modern periods, chapters go on to review the histories of criminal justice, of medical history and of gibbeting under the Murder Act, and ends with some discussion of the afterlives of the corpse, in literature, folklore and in contemporary medical ethics. Using sophisticated insights from cultural history, archaeology, literature, philosophy and ethics as well as medical and crime history, this book is a uniquely interdisciplinary take on a fascinating historical phenomenon.
Grid computing : Experiment management, Tool Integration, and Scientific Workflows
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical).
From Strategy to Execution : Turning Accelerated Global Change into Opportunity
"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; and 3) What knowledge workers do and why they are important. Editors Daniel Pantaleo and Nirmal Pal offer a comprehensive examination of strategy and execution in a rapidly changing world. ... The book is well-organized … . recommends this book to knowledge workers and their managers, and to executives and others who must manage change."
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Formal approaches to software testing and runtime verification ; 1st Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
