Concurrency in Dependable Computing, Paul Ezhilchelvan; Alexander Romanovsky

Автор: 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.

Автор: 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.

Автор: Dimiter R. Avresky
Название: Dependable Network Computing
ISBN: 1461370531 ISBN-13(EAN): 9781461370536
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dependable Network Computing 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. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields.
Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.

Автор: 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.

Автор: 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.

Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt
Название: Dependable Computing for Critical Applications 4
ISBN: 3709193982 ISBN-13(EAN): 9783709193983
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.

Автор: J.C. Geffroy; G. Motet
Название: Design of Dependable Computing Systems
ISBN: 9048159415 ISBN-13(EAN): 9789048159413
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: - A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.

Автор: Gary M. Koob; Clifford G. Lau
Название: Foundations of Dependable Computing
ISBN: 1475783116 ISBN-13(EAN): 9781475783117
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.

Автор: 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.

Автор: Gary M. Koob; Clifford G. Lau
Название: Foundations of Dependable Computing
ISBN: 1475783574 ISBN-13(EAN): 9781475783575
Издательство: Springer
Рейтинг:
Цена: 20962.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.