Zamojski, Wojciech
Dependable Computer Systems
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
Avainsanat: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)
- Tekijä(t)
- Zamojski, Wojciech
- Kacprzyk, Janusz
- Mazurkiewicz, Jacek
- Sugier, Jarosław
- Walkowiak, Tomasz
- Julkaisija
- Springer
- Julkaisuvuosi
- 2011
- Kieli
- en
- Painos
- 1
- Sarja
- Advances in Intelligent and Soft Computing
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783642213939