Dependability in Sensor, Cloud, and Big Data Systems and Applications, Guojun Wang; Md Zakirul Alam Bhuiyan; Sabrina De C

Автор: Ajit Kumar Verma; Srividya Ajit; Manoj Kumar
Название: Dependability of Networked Computer-based Systems
ISBN: 1447126939 ISBN-13(EAN): 9781447126935
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries.

Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet
Название: Model-Driven Dependability Assessment of Software Systems
ISBN: 3642395112 ISBN-13(EAN): 9783642395116
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.

Автор: Erwin Rathgeb; Klaus Echtle; Bruno M?ller-Closterm
Название: Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
ISBN: 3642121039 ISBN-13(EAN): 9783642121036
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.

Название: Open Systems Dependability
ISBN: 1498736289 ISBN-13(EAN): 9781498736282
Издательство: Taylor&Francis
Рейтинг:
Цена: 112290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users’ requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders’ agreement and accountability achievement for business/service continuity than in elemental technologies.

Автор: George Spanoudakis; Spyros Kokolakis
Название: Security and Dependability for Ambient Intelligence
ISBN: 1441947000 ISBN-13(EAN): 9781441947000
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details the SERENITY approach towards providing security and dependability solutions for dynamic, highly-distributed and heterogeneous systems. It covers the foundations of ambient systems and includes case studies.

Автор: Hans-Dieter Kochs
Название: System Dependability Evaluation Including S-dependency and Uncertainty
ISBN: 3319649906 ISBN-13(EAN): 9783319649900
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best suited approaches for practical system dependability modeling and calculation, (1) the minimal cut approach, (2) the Markov process approach, and (3) the Markov minimal cut approach as a combination of (1) and (2) are described in detail and applied to several examples.

Автор: Jean-Claude Laprie
Название: Dependability: Basic Concepts and Terminology
ISBN: 3709191726 ISBN-13(EAN): 9783709191729
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Hans-Dieter Kochs
Название: System Dependability Evaluation Including S-dependency and Uncertainty
ISBN: 3319879200 ISBN-13(EAN): 9783319879208
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Нет в наличии.
Описание: The book focuses on system dependability modeling and calculation, considering the impact of s-dependency and uncertainty. The best suited approaches for practical system dependability modeling and calculation, (1) the minimal cut approach, (2) the Markov process approach, and (3) the Markov minimal cut approach as a combination of (1) and (2) are described in detail and applied to several examples. The stringently used Boolean logic during the whole development process of the approaches is the key for the combination of the approaches on a common basis. For large and complex systems, efficient approximation approaches, e.g. the probable Markov path approach, have been developed, which can take into account s-dependencies be-tween components of complex system structures. A comprehensive analysis of aleatory uncertainty (due to randomness) and epistemic uncertainty (due to lack of knowledge), and their combination, developed on the basis of basic reliability indices and evaluated with the Monte Carlo simulation method, has been carried out. The uncertainty impact on system dependability is investigated and discussed using several examples with different levels of difficulty. The applications cover a wide variety of large and complex (real-world) systems. Actual state-of-the-art definitions of terms of the IEC 60050-192:2015 standard, as well as the dependability indices, are used uniformly in all six chapters of the book.

Автор: Sajib Mistry; Athman Bouguettaya; Hai Dong
Название: Economic Models for Managing Cloud Services
ISBN: 3319892606 ISBN-13(EAN): 9783319892603
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Нет в наличии.
Описание: The authors introduce both the quantitative and qualitative economic models as optimization tools for the selection of long-term cloud service requests. The economic models fit almost intuitively in the way business is usually done and maximize the profit of a cloud provider for a long-term period. The authors propose a new multivariate Hidden Markov and Autoregressive Integrated Moving Average (HMM-ARIMA) model to predict various patterns of runtime resource utilization. A heuristic-based Integer Linear Programming (ILP) optimization approach is developed to maximize the runtime resource utilization. It deploys a Dynamic Bayesian Network (DBN) to model the dynamic pricing and long-term operating cost. A new Hybrid Adaptive Genetic Algorithm (HAGA) is proposed that optimizes a non-linear profit function periodically to address the stochastic arrival of requests. Next, the authors explore the Temporal Conditional Preference Network (TempCP-Net) as the qualitative economic model to represent the high-level IaaS business strategies. The temporal qualitative preferences are indexed in a multidimensional k-d tree to efficiently compute the preference ranking at runtime. A three-dimensional Q-learning approach is developed to find an optimal qualitative composition using statistical analysis on historical request patterns. Finally, the authors propose a new multivariate approach to predict future Quality of Service (QoS) performances of peer service providers to efficiently configure a TempCP-Net. It discusses the experimental results and evaluates the efficiency of the proposed composition framework using Google Cluster data, real-world QoS data, and synthetic data. It also explores the significance of the proposed approach in creating an economically viable and stable cloud market. This book can be utilized as a useful reference to anyone who is interested in theory, practice, and application of economic models in cloud computing. This book will be an invaluable guide for small and medium entrepreneurs who have invested or plan to invest in cloud infrastructures and services. Overall, this book is suitable for a wide audience that includes students, researchers, and practitioners studying or working in service-oriented computing and cloud computing.

Автор: Erik Blasch; Sai Ravela; Alex Aved
Название: Handbook of dynamic data driven applications systems /
ISBN: 3319955039 ISBN-13(EAN): 9783319955032
Издательство: Springer
Рейтинг:
Цена: 0.00 T
Наличие на складе: Невозможна поставка.
Описание: The Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr. Darema and the co-authors for researchers and practitioners developing DDDAS technologies.Beginning with general concepts and history of the paradigm, the text provides 32 chapters by leading experts in10 application areas to enable an accurate understanding, analysis, and control of complex systems; be they natural, engineered, or societal:Earth and Space Data AssimilationAircraft Systems ProcessingStructures Health MonitoringBiological Data AssessmentObject and Activity TrackingEmbedded Control and CoordinationEnergy-Aware OptimizationImage and Video ComputingSecurity and Policy CodingSystems Design The authors explain how DDDAS unifies the computational and instrumentation aspects of an application system, extends the notion of Smart Computing to span from the high-end to the real-time data acquisition and control, and manages Big Data exploitation with high-dimensional model coordination.

Автор: Xiaolin Li; Judy Qiu
Название: Cloud Computing for Data-Intensive Applications
ISBN: 1493955152 ISBN-13(EAN): 9781493955152
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a range of cloud computing platforms for data-intensive scientific applications. algorithms that manage vast cloud resources and applications runtime; Many scientific applications in clouds are also introduced, such as bioinformatics, biology, weather forecasting and social networks.

Автор: Liran Ma; Abdallah Khreishah; Yan Zhang; Mingyuan
Название: Wireless Algorithms, Systems, and Applications
ISBN: 331960032X ISBN-13(EAN): 9783319600321
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017, held in Guilin, China, in June 2017.The 70 full papers and 9 short papers presented in this book werde carefully reviewed and selected from 238 submissions.