Автор: Algirdas Avizienis; Jean-Claude Laprie Название: Dependable Computing for Critical Applications ISBN: 3709191254 ISBN-13(EAN): 9783709191255 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, and the Technical Committee 7 on Systems Reliability, Safety and Security of EWlCS. The rationale for the Working Conference is best expressed by the aims of WG 10. 4: " Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance. In differing circumstances, the focus will be on differing properties of such services - e. g. continuity, performance, real-time response, ability to avoid catastrophic failures, prevention of deliberate privacy intrusions. The notion of dependability, defined as that property of a computing system which allows reliance to be justifiably placed on the service it delivers, enables these various concerns to be subsumed within a single conceptual framework. Dependability thus includes as special cases such attributes as reliability, availability, safety, security. The Working Group is aimed at identifying and integrating approaches, methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining computer systems which should exhibit some or all of these attributes. " The concept of WG 10. 4 was formulated during the IFIP Working Conference on Reliable Computing and Fault Tolerance on September 27-29, 1979 in London, England, held in conjunction with the Europ-IFIP 79 Conference. Profs A. Avi ienis (UCLA, Los Angeles, USA) and A.
Автор: Carl E. Landwehr; Brian Randell; Luca Simoncini Название: Dependable Computing for Critical Applications 3 ISBN: 3709140110 ISBN-13(EAN): 9783709140116 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system`s reliability, availability, safety, security, and performance.
Описание: This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually. The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Автор: Mario Dal Cin; Mohamed Ka?niche; Andr?s Pataricza Название: Dependable Computing - EDCC 2005 ISBN: 3540257233 ISBN-13(EAN): 9783540257233 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year's conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe - who were active in research and education related to dependability created a - joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year's conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
Автор: Andrzej Hlawiczka; Joao G.S. Silva; Luca Simoncini Название: Dependable Computing - EDCC-2 ISBN: 3540617728 ISBN-13(EAN): 9783540617723 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents 26 papers selected from the Second European Dependable Computing Conference. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault tolerant design, basic hardware models, testing, verification, replication and distribution.
Автор: Klaus Echtle; Dieter Hammer; David Powell Название: Dependable Computing - EDCC-1 ISBN: 3540584269 ISBN-13(EAN): 9783540584261 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reflecting the state-of-the-art in dependable systems research and advanced applications, this volume of conference proceedings covers such topics as reliability, safety-critical systems, fault detection, hardware and software testing, formal methods, verification and validation.
Автор: Paul Ezhilchelvan; Alexander Romanovsky Название: Concurrency in Dependable Computing ISBN: 1441952780 ISBN-13(EAN): 9781441952783 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Vieira Marco Название: Dependable Computing ISBN: 3642387888 ISBN-13(EAN): 9783642387883 Издательство: Springer Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Wireless sensor networks.- Cloud computing and services.- Testing and fault detection.- Fault injection and benchmarking.- Dependable and secure computing.
Автор: Rog?rio le Lemos; Taisy Silva Weber; Joao Batista Название: Dependable Computing ISBN: 3540202242 ISBN-13(EAN): 9783540202240 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the First Latin- American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation.
Автор: Dimiter R. Avresky Название: Dependable Network Computing ISBN: 0792377117 ISBN-13(EAN): 9780792377115 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text provides insights into various problems facing millions of global users resulting from the "internet revolution." It covers real-time problems involving software, servers and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques.
Автор: Carlos Alberto Maziero; Jo?o Gabriel Silva; Aline Название: Dependable Computing ISBN: 3540295720 ISBN-13(EAN): 9783540295723 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the `Second Latin-American Symposium` on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Автор: Gary M. Koob; Clifford G. Lau Название: Foundations of Dependable Computing ISBN: 1475783116 ISBN-13(EAN): 9781475783117 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
