The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software qua...Loe edasi...
(Ilmumisaeg: 24-Mar-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319315591)
Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Munster, Germany, in April2016.The 12 full...Loe edasi...
(Ilmumisaeg: 14-Feb-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319053592)
This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014...Loe edasi...
(Ilmumisaeg: 09-May-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642380884)
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully...Loe edasi...
Spectral Techniques and Fault Detection focuses on the spectral techniques for the analysis, testing, and design of digital devices. This book discusses the error detection and correction in digital devices. Organized into 10 chapters, this book st...Loe edasi...
(Ilmumisaeg: 12-Sep-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642331763)
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected fr...Loe edasi...
(Ilmumisaeg: 30-Mar-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642288913)
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks wer...Loe edasi...
(Ilmumisaeg: 08-Mar-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642285400)
This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in Mar...Loe edasi...
(Ilmumisaeg: 25-Sep-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642241246)
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 revised full papers presented together with 2 invite...Loe edasi...
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Apr-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642203985)
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2...Loe edasi...
Antonio Casimiro, Rogério de Lemos, Cristina Gacek
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Nov-2010, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642172458)
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security h...Loe edasi...
Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
Sari: Programming and Software Engineering
(Ilmumisaeg: 27-Oct-2009, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642102486)
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and secur...Loe edasi...
Patrizio Pelliccione, Henry Muccini, Alexander Romanovsky, Nicolas Guelfi
Sari: Series On Software Engineering And Knowledge Engineering
(Ilmumisaeg: 13-Aug-2007, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814476102)
In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of th...Loe edasi...
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
Sari: Programming and Software Engineering
(Ilmumisaeg: 23-Nov-2006, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540482673)
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "e;faults"e; could also b...Loe edasi...
(Ilmumisaeg: 31-Mar-2005, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540320197)
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 c...Loe edasi...
