Zamojski, Wojciech

Dependable Computer Systems

Zamojski, Wojciech - Dependable Computer Systems, ebook


Ebook, PDF with Adobe DRM
ISBN: 9783642213939
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Patterns Improving the Common Criteria Compliant IT Security Development Process
Andrzej Białas

2. A Comparison of Dataflow and Mutation Testing of Java Methods
Ilona Bluemke, Karol Kulesza

3. A New Three Levels Context Based Approach for Web Search Engines Evaluation
Abdelkrim Bouramoul, Mohamed-Khireddine Kholladi, Bich-Lien Doan

4. Quantitative Verification of Non-functional Requirements with Uncertainty
Carlo Ghezzi, Amir Molzam Sharifloo

5. Testing Fault Susceptibility of a Satellite Power Controller
Marcin Iwiński, Janusz Sosnowski

6. Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach
Ireneusz Jozwiak, Michal Kedziora, Aleksandra Melinska

7. Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques
Vyacheslav Kharchenko, Andriy Volkoviy, Olexandr Siora, Vyacheslav Duzhyi

8. Two-Level Software Rejuvenation Model with Increasing Failure Rate Degradation
Vasilis P. Koutras

9. Towards a UML Profile for Maintenance Process and Reliability Analysis
Marcin Kowalski, Jan Magott

10. Conjoining Fault Trees with Petri Nets to Model Repair Policies
Marcin Kowalski, Jan Magott

11. Analysis of Geometric Features of Handwriting to Discover a Forgery
Henryk Maciejewski, Roman Ptak

12. A Formal Framework for Testing duration Systems
Lotfi Majdoub

13. Dynamic Model Initialization Using UML
Lila Meziani, Thouraya Bouabana-Tebibel

14. Integrated Application of Compositional and Behavioural Safety Analysis
Septavera Sharvia, Yiannis Papadopoulos

15. Reliability Analysis of Electronic Protection Systems Using Optical Links
Mirosław Siergiejczyk, Adam Rosiński

16. Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment
Jarosław Sugier

17. Bad Memory Blocks Exclusion in Linux Operating System
Tomasz Surmacz, Bartosz Zawistowski

18. Metamodel and UML Profile for Functional Programming Languages
Marcin Szlenk

19. Resource Co-allocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing
Victor Toporkov, Dmitry Yemelyanov, Anna Toporkova, Alexander Bobchenkov

20. Functional Based Reliability Analysis of Web Based Information Systems
Tomasz Walkowiak, Katarzyna Michalska

21. Human Resource Influence on Dependability of Discrete Transportation Systems
Tomasz Walkowiak, Jacek Mazurkiewicz

22. An Effective Learning Environment
Marek Woda, Konrad Kubacki-Gorwecki

23. Incremental Composition of Software Components
W. M. Zuberek

Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)

Publication year
Advances in Intelligent and Soft Computing
Technology, Energy, Traffic

Similar titles