Skip to main content
SpringerLink
Log in

Theory and Applications of Dependable Computer Systems

Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Wojciech Zamojski

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacek Mazurkiewicz

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jarosław Sugier

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Tomasz Walkowiak

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Janusz Kacprzyk

    1. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents recent research in Complex Systems and Dependability
  • Gathers the Proceedings of the Fifteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), held on June 29–July 3, 2020, in Brunów, Poland
  • Discusses general aspects of the dependability of systems, networks theory and communication technology

Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 1173)

Included in the following conference series:

Conference proceedings info: DepCoS-RELCOMEX 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (68 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Sequence Mining and Property Verification for Fault-Localization in Simulink Models

    • Safa Aloui Dkhil, Mohamed Taha Bennani, Manel Tekaya, Houda Ben Attia Sethom
    Pages 1-10

  3. Handwritten Text Lines Segmentation Using Two Column Projection

    • Tomasz Babczyński, Roman Ptak
    Pages 11-20

  4. Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging

    • Adrian Banachowicz, Anna Lis-Nawara, Michał Jeleń, Łukasz Jeleń
    Pages 21-30

  5. Classification of Local Administrative Units in Poland: Spatial Approach

    • Jacek Batóg, Barbara Batóg
    Pages 31-40

  6. Development of Methodology for Counteraction to Cyber-Attacks in Wireless Sensor Networks

    • Olexander Belej, Kamil Staniec, Tadeusz Więckowski, Mykhaylo Lobur, Oleh Matviykiv, Serhiy Shcherbovskykh
    Pages 41-50

  7. The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain

    • Olexander Belej, Kamil Staniec, Tadeusz Więckowski
    Pages 51-60

  8. Common Criteria Vulnerability Assessment Ontology

    • Andrzej Bialas
    Pages 61-70

  9. Risk Management Approach for Revitalization of Post-mining Areas

    • Andrzej Bialas
    Pages 71-81

  10. CVE Based Classification of Vulnerable IoT Systems

    • Grzegorz J. Blinowski, Paweł Piotrowski
    Pages 82-93

  11. Reliability and Availability Analysis of Critical Infrastructure Composed of Dependent Systems

    • Agnieszka Blokus, Przemysław Dziula
    Pages 94-104

  12. Influence of Component Dependency on System Reliability

    • Agnieszka Blokus, Krzysztof Kołowrocki
    Pages 105-114

  13. Tool for Metamorphic Testing

    • Ilona Bluemke, Paweł Kamiński
    Pages 115-124

  14. Dependability of Web Sites

    • Dariusz Caban
    Pages 125-132

  15. Dependability Analysis of Systems Based on the Microservice Architecture

    • Dariusz Caban, Tomasz Walkowiak
    Pages 133-142

  16. Using Domain Specific Languages and Domain Ontology in Workflow Design in Syndatis BPM4 Environment

    • Wiktor B. Daszczuk, Henryk Rybiński, Piotr Wilkin
    Pages 143-154

  17. GPU Implementation of the Parallel Ising Model Algorithm Using Object-Oriented Programming

    • Aleksander Dawid
    Pages 155-164

  18. Hydro-Meteorological Change Process Impact on Oil Spill Domain Movement at Sea

    • Ewa Dąbrowska, Krzysztof Kołowrocki
    Pages 165-175

  19. Subjective Quality Evaluation of Underground BPL-PLC Voice Communication System

    • Grzegorz Debita, Przemyslaw Falkowski-Gilski, Marcin Habrych, Bogdan Miedzinski, Bartosz Polnik, Jan Wandzio et al.
    Pages 176-186

  20. Evaluation and Improvement of Web Application Quality – A Case Study

    • Anna Derezińska, Krzysztof Kwaśnik
    Pages 187-196
Back to top

Other volumes

  1. Theory and Applications of Dependable Computer Systems

Keywords

About this book

This book presents selected papers from the Fifteenth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), which illustrate the diversity of theoretical problems in analysis of performability, reliability and security of contemporary computer systems. Covering also methodologies and practical tools involved in this field, it is a valuable reference resource for scientists, researchers, practitioners and students who are dealing with these subjects.


Established in 2006, DepCoS-RELCOMEX is an annual conference series organised by Wrocław University of Science and Technology. It focuses on the dependability and performability of contemporary computer systems – topics that can provide solutions to new challenges in evaluation of their reliability and efficiency. Since they are probably the most complex technical systems ever engineered by humans, the organization of modern computer systems cannot be modelled and analysed solelyas structures (however complex and distributed) built only on the basis of technical resources. Instead they should be considered as a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, iCloud organisation, Internet of Everything) and a large number of users dispersed geographically and producing an unimaginable number of applications. This new, interdisciplinary approach is developing a continually increasing range of methods which apply also the latest findings in artificial intelligence (AI) and computational intelligence (CI).



Editors and Affiliations

  • Wrocław University of Science and Technology, Wrocław, Poland

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

  • Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

Bibliographic Information

  • Book Title: Theory and Applications of Dependable Computer Systems

  • Book Subtitle: Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

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

  • Series Title: Advances in Intelligent Systems and Computing

  • DOI: https://doi.org/10.1007/978-3-030-48256-5

  • Publisher: Springer Cham

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-48255-8Published: 22 May 2020

  • eBook ISBN: 978-3-030-48256-5Published: 21 May 2020

  • Series ISSN: 2194-5357

  • Series E-ISSN: 2194-5365

  • Edition Number: 1

  • Number of Pages: XVIII, 713

  • Number of Illustrations: 73 b/w illustrations, 183 illustrations in colour

  • Topics: Computational Intelligence, Complexity, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation