Advances in Dependability Engineering of Complex Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Detection of Network Attacks Using Hybrid ARIMA-GARCH Model
3. Altmetric Badge
   Chapter 2 Towards Mixed-Mode Risk Management – A Concept
4. Altmetric Badge
   Chapter 3 Software Support of the Common Criteria Vulnerability Assessment
5. Altmetric Badge
   Chapter 4 On the Performance of Some C# Constructions
6. Altmetric Badge
   Chapter 5 Deep Stacking Convex Neuro-Fuzzy System and Its On-line Learning
7. Altmetric Badge
   Chapter 6 Fault Tolerant ASIC/ULA-Based Computing Systems Testing via FPGA Prototyping with Fault Injection
8. Altmetric Badge
   Chapter 7 Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk
9. Altmetric Badge
   Chapter 8 Modelling an Optimal Capital Structure of the Telecommunication Company
10. Altmetric Badge
    Chapter 9 Specification of Constraints in a System-of-Systems Configuration
11. Altmetric Badge
    Chapter 10 A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems
12. Altmetric Badge
    Chapter 11 Maintenance of Wind Turbine Scheduling Based on Output Power Data and Wind Forecast
13. Altmetric Badge
    Chapter 12 Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets
14. Altmetric Badge
    Chapter 13 Scheduling Tasks in Embedded Systems Based on NoC Architecture Using Simulated Annealing
15. Altmetric Badge
    Chapter 14 Adaptation of Ant Colony Algorithm for CAD of Complex Systems with Higher Degree of Dependability
16. Altmetric Badge
    Chapter 15 Context-Aware Anomaly Detection in Embedded Systems
17. Altmetric Badge
    Chapter 16 Comparative Analysis of Calculations in Cryptographic Protocols Using a Combination of Different Bases of Finite Fields
18. Altmetric Badge
    Chapter 17 Dynamic Redundancy in Communication Network of Air Traffic Management System
19. Altmetric Badge
    Chapter 18 Availability Models and Maintenance Strategies for Smart Building Automation Systems Considering Attacks on Component Vulnerabilities
20. Altmetric Badge
    Chapter 19 Concept of Multi-criteria Evaluation of the Airport Security Control Process
21. Altmetric Badge
    Chapter 20 Extending Continuous Integration with Post-mortem Debug Automation of Unhandled Exceptions Occurred in Kernel or User Mode Applications
22. Altmetric Badge
    Chapter 21 The Methodology of Studying of Active Traffic Management Module Self-oscillation Regime
23. Altmetric Badge
    Chapter 22 Effectiveness Examination of a Multi-channel CSMA/CA Detector
24. Altmetric Badge
    Chapter 23 IaaS vs. Traditional Hosting for Web Applications - Cost Effectiveness Analysis for a Local Market
25. Altmetric Badge
    Chapter 24 High Quality Stabilization of an Inverted Pendulum Using the Controller Based on Trigonometric Function
26. Altmetric Badge
    Chapter 25 The Application of RFID Technology in Supporting the Process of Reliable Identification of Objects in Video Surveillance Systems
27. Altmetric Badge
    Chapter 26 Aspect-Oriented Management of Service Requests for Assurance of High Performance and Dependability
28. Altmetric Badge
    Chapter 27 Process of Mobile Application Development from the Security Perspective
29. Altmetric Badge
    Chapter 28 Managing and Enhancing Performance Benchmarks
30. Altmetric Badge
    Chapter 29 Reliability Optimization for Controller Placement in Software-Defined Networks
31. Altmetric Badge
    Chapter 30 Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations
32. Altmetric Badge
    Chapter 31 Reliability Assessment of Driving Systems of City Buses
33. Altmetric Badge
    Chapter 32 Testing the Significance of Parameters of Models Estimating Execution Time of Parallel Program Loops According to the Open MPI Standard
34. Altmetric Badge
    Chapter 33 On Application of Regime-Switching Models for Short-Term Traffic Flow Forecasting
35. Altmetric Badge
    Chapter 34 Critical Information Infrastructure Protection Model and Methodology, Based on National and NATO Study
36. Altmetric Badge
    Chapter 35 The Method of Creating Players in the Marketing Strategy
37. Altmetric Badge
    Chapter 36 Principles of Mobile Walking Robot Control in Scope of Technical Monitoring Tasks
38. Altmetric Badge
    Chapter 37 Computer Systems – Simple, Complicated or Complex
39. Altmetric Badge
    Chapter 38 Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources
40. Altmetric Badge
    Chapter 39 Assurance Case Patterns On-line Catalogue
41. Altmetric Badge
    Chapter 40 Information System as a Cause of Cargo Handling Process Disruption in Intermodal Terminal
42. Altmetric Badge
    Chapter 41 Anticipation Scheduling in Grid Virtual Organizations
43. Altmetric Badge
    Chapter 42 Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation
44. Altmetric Badge
    Chapter 43 The Scope of the Collected Data for a Holistic Risk Assessment Performance in the Road Freight Transport Companies
45. Altmetric Badge
    Chapter 44 Language Processing Modelling Notation – Orchestration of NLP Microservices
46. Altmetric Badge
    Chapter 45 Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources