↓ Skip to main content

Theory and Applications of Dependable Computer Systems

Overview of attention for book
Cover of 'Theory and Applications of Dependable Computer Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Sequence Mining and Property Verification for Fault-Localization in Simulink Models
  3. Altmetric Badge
    Chapter 2 Handwritten Text Lines Segmentation Using Two Column Projection
  4. Altmetric Badge
    Chapter 3 Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging
  5. Altmetric Badge
    Chapter 4 Classification of Local Administrative Units in Poland: Spatial Approach
  6. Altmetric Badge
    Chapter 5 Development of Methodology for Counteraction to Cyber-Attacks in Wireless Sensor Networks
  7. Altmetric Badge
    Chapter 6 The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain
  8. Altmetric Badge
    Chapter 7 Common Criteria Vulnerability Assessment Ontology
  9. Altmetric Badge
    Chapter 8 Risk Management Approach for Revitalization of Post-mining Areas
  10. Altmetric Badge
    Chapter 9 CVE Based Classification of Vulnerable IoT Systems
  11. Altmetric Badge
    Chapter 10 Reliability and Availability Analysis of Critical Infrastructure Composed of Dependent Systems
  12. Altmetric Badge
    Chapter 11 Influence of Component Dependency on System Reliability
  13. Altmetric Badge
    Chapter 12 Tool for Metamorphic Testing
  14. Altmetric Badge
    Chapter 13 Dependability of Web Sites
  15. Altmetric Badge
    Chapter 14 Dependability Analysis of Systems Based on the Microservice Architecture
  16. Altmetric Badge
    Chapter 15 Using Domain Specific Languages and Domain Ontology in Workflow Design in Syndatis BPM4 Environment
  17. Altmetric Badge
    Chapter 16 GPU Implementation of the Parallel Ising Model Algorithm Using Object-Oriented Programming
  18. Altmetric Badge
    Chapter 17 Hydro-Meteorological Change Process Impact on Oil Spill Domain Movement at Sea
  19. Altmetric Badge
    Chapter 18 Subjective Quality Evaluation of Underground BPL-PLC Voice Communication System
  20. Altmetric Badge
    Chapter 19 Evaluation and Improvement of Web Application Quality – A Case Study
  21. Altmetric Badge
    Chapter 20 Scheduling Tasks with Uncertain Times of Duration
  22. Altmetric Badge
    Chapter 21 The Concept of Management of Grid Systems in the Context of Parallel Synthesis of Complex Computer Systems
  23. Altmetric Badge
    Chapter 22 Performance Assessment of Selected Techniques and Methods Detecting Duplicates in Data Warehouses
  24. Altmetric Badge
    Chapter 23 An Overview of DoS and DDoS Attack Detection Techniques
  25. Altmetric Badge
    Chapter 24 Biometric Data Fusion Strategy for Improved Identity Recognition
  26. Altmetric Badge
    Chapter 25 Non-homogeneous Four State Semi-Markov Reliability Model of Operation Process
  27. Altmetric Badge
    Chapter 26 The Efficiency of Energy Storage Systems Use for Energy Cost Mitigation Under Electricity Prices Changes
  28. Altmetric Badge
    Chapter 27 Capacitated Open Vehicle Routing Problem with Time Couplings
  29. Altmetric Badge
    Chapter 28 Mobile Application Testing and Assessment
  30. Altmetric Badge
    Chapter 29 Crypto-ECC: A Rapid Secure Protocol for Large-Scale Wireless Sensor Networks Deployed in Internet of Things
  31. Altmetric Badge
    Chapter 30 Redundancy Management in Homogeneous Architecture of Power Supply Units in Wireless Sensor Networks
  32. Altmetric Badge
    Chapter 31 Successive-Interference-Cancellation-Inspired Multi-user MIMO Detector Driven by Genetic Algorithm
  33. Altmetric Badge
    Chapter 32 The Availability Models of Two-Zone Physical Security System Considering Cyber Attacks
  34. Altmetric Badge
    Chapter 33 Automatically Created Statistical Models Applied to Network Anomaly Detection
  35. Altmetric Badge
    Chapter 34 Sparse Representation and Dictionary Learning for Network Traffic Anomaly Detection
  36. Altmetric Badge
    Chapter 35 Changing System Operation States Influence on Its Total Operation Cost
  37. Altmetric Badge
    Chapter 36 Graph-Based Street Similarity Comparing Method
  38. Altmetric Badge
    Chapter 37 Hybrid Method of the Radio Environment Map Construction to Increase Spectrum Awareness of Cognitive Radios
  39. Altmetric Badge
    Chapter 38 Group Authorization Using Chinese Remainder Theorem
  40. Altmetric Badge
    Chapter 39 Optimal Transmission Technique for DAB+ Operating in the SFN Network
  41. Altmetric Badge
    Chapter 40 Dynamic Neighbourhood Identification Based on Multi-clustering in Collaborative Filtering Recommender Systems
  42. Altmetric Badge
    Chapter 41 Increasing the Dependability of Wireless Communication Systems by Using FSO/RF Technology
  43. Altmetric Badge
    Chapter 42 Card Game Bluff Decision Aided System
  44. Altmetric Badge
    Chapter 43 Intelligent Inference Agent for Safety Systems Events
  45. Altmetric Badge
    Chapter 44 Wi-Fi Communication and IoT Technologies to Improve Emergency Triage Training
  46. Altmetric Badge
    Chapter 45 Robust Radio Communication Protocol for Traffic Analysis Application
  47. Altmetric Badge
    Chapter 46 Automatic Recognition of Gender and Genre in a Corpus of Microtexts
  48. Altmetric Badge
    Chapter 47 Searching Algorithm for an Optimal Location of Warehouses in a Distribution Network for Predicted Order Variability
  49. Altmetric Badge
    Chapter 48 Tackling Access Control Complexity by Combining XACML and Domain Driven Design
  50. Altmetric Badge
    Chapter 49 Large Scale Attack on Gravatars from Stack Overflow
  51. Altmetric Badge
    Chapter 50 Safety Analysis for the Operation Process of Electronic Systems Used Within the Mobile Critical Infrastructure in the Case of Strong Electromagnetic Pulse Impact
  52. Altmetric Badge
    Chapter 51 Job Scheduling with Machine Speeds for Password Cracking Using Hashtopolis
  53. Altmetric Badge
    Chapter 52 Standard Dropout as Remedy for Training Deep Neural Networks with Label Noise
  54. Altmetric Badge
    Chapter 53 State Assignment of Finite-State Machines by Using the Values of Output Variables
  55. Altmetric Badge
    Chapter 54 Integration of Enterprise Resource Planning (ERP) System in Value Based Management of the Corporation
  56. Altmetric Badge
    Chapter 55 Landscape Imaging of the Discrete Solution Space
  57. Altmetric Badge
    Chapter 56 Smart Services for Improving eCommerce
  58. Altmetric Badge
    Chapter 57 Probabilistic Modelling of Reliability and Maintenance of Protection Systems Incorporated into Internal Collection Grid of a Wind Farm
  59. Altmetric Badge
    Chapter 58 On the Influence of the Coding Rate and SFN Gain on DAB+ Coverage
  60. Altmetric Badge
    Chapter 59 Intra-round Pipelining of K eccak Permutation Function in FPGA Implementations
  61. Altmetric Badge
    Chapter 60 Investigation and Detection of GSM-R Interference Using a Fuzzy Hierarchical Model
  62. Altmetric Badge
    Chapter 61 Using Convolutional Network Visualisation to Determine the Most Significant Pixels
  63. Altmetric Badge
    Chapter 62 Android Methods Hooking Detection Using Dalvik Code and Dynamic Reverse Engineering by Stack Trace Analysis
  64. Altmetric Badge
    Chapter 63 Reliability of Ultrasonic Distance Measurement in Application to Multi-Rotor MAVs
  65. Altmetric Badge
    Chapter 64 Determining the Minimal Number of Images Required to Effectively Train Convolutional Neural Networks
  66. Altmetric Badge
    Chapter 65 Heuristic Allocation Strategies for Dependable Scheduling in Heterogeneous Computing Environments
  67. Altmetric Badge
    Chapter 66 Prediction of Selected Personality Traits Based on Text Messages from Instant Messenger
  68. Altmetric Badge
    Chapter 67 Computer Aided Urban Landscape Design Process
  69. Altmetric Badge
    Chapter 68 Choosing Exploration Process Path in Data Mining Processes for Complex Internet Objects
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
5 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theory and Applications of Dependable Computer Systems
Published by
Springer International Publishing, August 2020
DOI 10.1007/978-3-030-48256-5
ISBNs
978-3-03-048255-8, 978-3-03-048256-5
Editors

Zamojski, Wojciech, Mazurkiewicz, Jacek, Sugier, Jarosław, Walkowiak, Tomasz, Kacprzyk, Janusz

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.