Advances in Intelligent and Soft Computing

Dependable Computer Systems

Editors: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (Eds.)

  • Recent research in Dependable Computer Systems
  • Proceedings of the Sixth International Conference on Dependability and Computer Systems DepCoS-RELCOMEX 2011 held in Wroclaw, Poland, June 27- Jul 11
  • Written by leading experts in the field
see more benefits

Buy this book

eBook $259.00
price for USA (gross)
  • ISBN 978-3-642-21393-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $329.99
price for USA
  • ISBN 978-3-642-21392-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources.

 

This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.

Table of contents (23 chapters)

  • Patterns Improving the Common Criteria Compliant IT Security Development Process

    Białas, Andrzej

    Pages 1-16

  • A Comparison of Dataflow and Mutation Testing of Java Methods

    Bluemke, Ilona (et al.)

    Pages 17-30

  • A New Three Levels Context Based Approach for Web Search Engines Evaluation

    Bouramoul, Abdelkrim (et al.)

    Pages 31-45

  • Quantitative Verification of Non-functional Requirements with Uncertainty

    Ghezzi, Carlo (et al.)

    Pages 47-62

  • Testing Fault Susceptibility of a Satellite Power Controller

    Iwiński, Marcin (et al.)

    Pages 63-74

Buy this book

eBook $259.00
price for USA (gross)
  • ISBN 978-3-642-21393-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $329.99
price for USA
  • ISBN 978-3-642-21392-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Dependable Computer Systems
Editors
  • Wojciech Zamojski
  • Janusz Kacprzyk
  • Jacek Mazurkiewicz
  • Jarosław Sugier
  • Tomasz Walkowiak
Series Title
Advances in Intelligent and Soft Computing
Series Volume
97
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-21393-9
DOI
10.1007/978-3-642-21393-9
Softcover ISBN
978-3-642-21392-2
Series ISSN
1867-5662
Edition Number
1
Number of Pages
XIV, 314
Number of Illustrations and Tables
126 b/w illustrations
Topics