Dependable Computer Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zamojski, Wojciech (Επιμελητής έκδοσης), Kacprzyk, Janusz (Επιμελητής έκδοσης), Mazurkiewicz, Jacek (Επιμελητής έκδοσης), Sugier, Jarosław (Επιμελητής έκδοσης), Walkowiak, Tomasz (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Advances in Intelligent and Soft Computing, 97
• Θέματα: Engineering.; Artificial intelligence.; Computational intelligence.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).

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

Πίνακας περιεχομένων:

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