The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
The March 11 disaster in 2011, known as the Great East Japan Earthquake and Tsunami, caused extensive damage in various sectors. Through the recovery process, special lessons are being learned and applied in the affected region. This book attempts to draw lessons from different issues and sectors such as policy perspectives (both national and local), the role of international NGOs, fishing indu…
This book deals with timing attacks on cryptographic ciphers. It describes and analyzes various unintended covert timing channels that are formed when ciphers are executed in microprocessors. The book considers modern superscalar microprocessors which are enabled with features such as multi-threaded, pipelined, parallel, speculative, and out-of order execution. Various timing attack algorithms …
This text presents modern developments in time series analysis and focuses on their application to economic problems. The book first introduces the fundamental concept of a stationary time series and the basic properties of covariance, investigating the structure and estimation of autoregressive-moving average (ARMA) models and their relations to the covariance structure. The book then moves on…
Demonstrating the latest research and analysis in the area of through-life engineering services (TES), this book utilizes case studies and expert analysis from an international array of practitioners and researchers – who together represent multiple manufacturing sectors: aerospace, railway and automotive – to maximize reader insights into the field of through-life engineering services. …
This book offers an essential manual for project managers, project management offices (PMO’s), trainers and consultants, addressing the psychological side of project management. Written by leading scholars in organizational psychology and by top experts in project management, it covers all major psychological topics that are key to project success. The book features dedicated chapters on lead…
This book provides a comprehensive overview of thin film structures in energy applications. Each chapter contains both fundamentals principles for each thin film structure as well as the relevant energy application technologies. The authors cover thin films for a variety of energy sectors including inorganic and organic solar cells, DSSCs, solid oxide fuel cells, thermoelectrics, phosphors and…
Christoph Samitsch investigates whether decision-making efficiency is being influenced by the quality of data and information. Results of the research provide evidence that defined data quality dimensions have an effect on decision-making performance as well as the time it takes to make a decision. Contents Recent research of data and information quality, as well as decision support systems Pre…
This book presents a comprehensive introduction to the use of solid‐liquid phase change materials to store significant amounts of energy in the latent heat of fusion. The proper selection of materials for different applications is covered in detail, as is the use of high conductivity additives to enhance thermal diffusivity. Dr. Fleischer explores how applications of PCMS have expanded over t…