Dependable Computer Systems

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 multi...

Full description

Saved in:
Bibliographic Details
Other Authors / Creators:Zamojski, Wojciech. editor.
Kacprzyk, Janusz. editor.
Mazurkiewicz, Jacek. editor.
Sugier, Jarosław. editor.
Walkowiak, Tomasz. editor.
Other Corporate Authors / Creators:SpringerLink (Online service)
Format: Electronic eBook
Language:English
Edition:1st ed. 2011.
Imprint: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Series:Advances in Intelligent and Soft Computing, 97
Subjects:
Online Access:Available in Springer Engineering eBooks 2011 English/International.
LEADER 04107cam a22004213i 4500
001 ebs915397e
003 EBZ
006 m o d ||||||
007 cr|unu||||||||
008 110630s2011 gw | o |||| 0|eng d
020 |z 9783642213922 
020 |a 9783642213939 (online) 
035 |a (EBZ)ebs915397e 
040 |d EBZ 
042 |a msc 
050 4 |a Q342 
245 1 0 |a Dependable Computer Systems  |h [electronic resource]  |c edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak. 
250 |a 1st ed. 2011. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2011. 
490 1 |a Advances in Intelligent and Soft Computing,  |x 1867-5670 ;  |v 97 
505 0 |a From the content: Patterns improving the Common Criteria compliant IT security development process -- A comparison of dataflow and mutation testing of Java methods -- A new three levels context based approach for web search engines evaluation -- Quantitative Verification of Non-Functional Requirements with Uncertainty -- Testing Fault Susceptibility of a Satellite Power Controller -- Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach -- Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques -- Two-level software rejuvenation model with increasing failure rate degradation -- Towards a UML profile for Maintenance Process and Reliability Analysis -- Conjoining Fault Trees with Petri Nets to model repair policies -- Analysis of geometric features of handwriting to discover a forgery. 
520 |a 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. 
650 0 |a Computational intelligence. 
650 0 |a Artificial intelligence. 
650 1 4 |a Computational Intelligence. 
650 2 4 |a Artificial Intelligence. 
700 1 |a Zamojski, Wojciech.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Kacprzyk, Janusz.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Mazurkiewicz, Jacek.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Sugier, Jarosław.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Walkowiak, Tomasz.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Engineering eBooks 2011 English/International   |d Springer Nature 
776 0 8 |i Printed edition:  |z 9783642213922 
776 0 8 |i Printed edition:  |z 9783642213946 
776 1 |t Dependable Computer Systems 
830 0 |a Advances in Intelligent and Soft Computing,  |x 1867-5670 ;  |v 97 
856 4 0 |3 Full text available  |z Available in Springer Engineering eBooks 2011 English/International.  |u https://ezproxy.wellesley.edu/login?url=https://link.springer.com/10.1007/978-3-642-21393-9