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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Zamojski, Wojciech (Editor ), Kacprzyk, Janusz (Editor ), Mazurkiewicz, Jacek (Editor ), Sugier, Jarosław (Editor ), Walkowiak, Tomasz (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Advances in Intelligent and Soft Computing, 97
Temas:
Computational intelligence.
Artificial intelligence.
Computational Intelligence.
Artificial Intelligence.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-21393-9
003 DE-He213
005 20220118211527.0
007 cr nn 008mamaa
008 110630s2011 gw | s |||| 0|eng d
020 |a 9783642213939  |9 978-3-642-21393-9 
024 7 |a 10.1007/978-3-642-21393-9  |2 doi 
050 4 |a Q342 
072 7 |a UYQ  |2 bicssc 
072 7 |a TEC009000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
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. 
300 |a XIV, 314 p. 126 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
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 Nature eBook 
776 0 8 |i Printed edition:  |z 9783642213922 
776 0 8 |i Printed edition:  |z 9783642213946 
830 0 |a Advances in Intelligent and Soft Computing,  |x 1867-5670 ;  |v 97 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-21393-9  |z Texto Completo 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712) 

Ejemplares similares