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 /: proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29-July 3, 2020, Brunów, Poland. (2020)
- Record Type:
- Book
- Title:
- 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 /: proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29-July 3, 2020, Brunów, Poland. (2020)
- Main Title:
- 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
- Other Titles:
- DepCoS-RELCOMEX
- Further Information:
- Note: Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors.
- Other Names:
- Zamojski, Wojciech
(Professor of engineering), Mazurkiewicz, Jacek
Sugier, Jarosław
Walkowiak, Tomasz
Kacprzyk, Janusz
International Conference on Dependability of Computer Systems, 15th - Contents:
- Intro -- Preface -- Organization -- Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX -- Programme Committee -- Organizing Committee -- Chair -- Members -- Contents -- Sequence Mining and Property Verification for Fault-Localization in Simulink Models -- Abstract -- 1 Introduction -- 2 Related Works -- 3 The Proposed Fault Localization Procedure -- 4 Case Study -- 4.1 Target System -- 4.2 Fault Detection -- 4.3 Fault Isolation -- 4.4 Fault Identification -- 5 Early Evaluation Results -- 5.1 Model Instrumentation -- 5.2 Observations and Metrics 6 Conclusion and Future Works -- References -- Handwritten Text Lines Segmentation Using Two Column Projection -- 1 Introduction -- 2 Related Work -- 3 Line Segmentation -- 3.1 Half Projections -- 3.2 Line Pairing -- 3.3 Line Labeling -- 4 Experiments -- 4.1 Data-Set and Evaluation Methodology -- 4.2 Experimental Results -- 5 Conclusions -- References -- Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging -- 1 Introduction -- 2 Database of FISH Images -- 3 Methodology -- 3.1 Image Preprocessing -- 3.2 Training Set Preparation -- 3.3 Pixel Classification 4 Training -- 5 Results -- 6 Conclusions and Future Work -- References -- Classification of Local Administrative Units in Poland: Spatial Approach -- Abstract -- 1 Introduction -- 2 Spatial Autocorrelation in the Modelling of Economic Processes -- 3 Methodology -- 4 Empirical Results -- 5 Conclusions --Intro -- Preface -- Organization -- Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX -- Programme Committee -- Organizing Committee -- Chair -- Members -- Contents -- Sequence Mining and Property Verification for Fault-Localization in Simulink Models -- Abstract -- 1 Introduction -- 2 Related Works -- 3 The Proposed Fault Localization Procedure -- 4 Case Study -- 4.1 Target System -- 4.2 Fault Detection -- 4.3 Fault Isolation -- 4.4 Fault Identification -- 5 Early Evaluation Results -- 5.1 Model Instrumentation -- 5.2 Observations and Metrics 6 Conclusion and Future Works -- References -- Handwritten Text Lines Segmentation Using Two Column Projection -- 1 Introduction -- 2 Related Work -- 3 Line Segmentation -- 3.1 Half Projections -- 3.2 Line Pairing -- 3.3 Line Labeling -- 4 Experiments -- 4.1 Data-Set and Evaluation Methodology -- 4.2 Experimental Results -- 5 Conclusions -- References -- Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging -- 1 Introduction -- 2 Database of FISH Images -- 3 Methodology -- 3.1 Image Preprocessing -- 3.2 Training Set Preparation -- 3.3 Pixel Classification 4 Training -- 5 Results -- 6 Conclusions and Future Work -- References -- Classification of Local Administrative Units in Poland: Spatial Approach -- Abstract -- 1 Introduction -- 2 Spatial Autocorrelation in the Modelling of Economic Processes -- 3 Methodology -- 4 Empirical Results -- 5 Conclusions -- References -- Development of Methodology for Counteraction to Cyber-Attacks in Wireless Sensor Networks -- Abstract -- 1 Introduction -- 2 Formulation of the Problem -- 3 Development of an Encryption Algorithm for Messages in Wireless Sensor Network -- 4 Discussion -- 5 Conclusion Acknowledgment -- References -- The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain -- Abstract -- 1 Introduction -- 2 Problem Formulation -- 3 The Algorithms of Hash Functions for Blockchain -- 4 Discussion -- 5 Conclusion -- Acknowledgment -- References -- Common Criteria Vulnerability Assessment Ontology -- Abstract -- 1 Introduction -- 2 Current State of Research -- 3 Towards the Common Criteria Vulnerability Assessment Ontology -- 3.1 Elementary Evaluation Processes -- 3.2 Data Representation -- 4 Conclusions -- Acknowledgements -- References Risk Management Approach for Revitalization of Post-mining Areas -- Abstract -- 1 Introduction -- 2 Risk Management in the SUMAD Project Domain -- 3 Concept of SUMAD Risk Management Methodology and Tool -- 3.1 Risk Reduction Assessment (RRA) Module Concept -- 3.2 Cost-Benefits Analysis (CBA) Module Concept -- 3.3 Qualitative Criteria Analysis (QCA) Module Concept -- 4 Research on Domain Data -- 4.1 Asset -- a Waste Dump (a Site) Under Rehabilitation -- 4.2 Threats/Hazards and Vulnerability Structures -- 4.3 Revitalization Techniques Representation -- 4.4 Risk Scenarios Specifying Impacts … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2020
- Copyright Date:
- 2020
- Extent:
- 1 online resource (713 pages)
- Subjects:
- 004
006.3
Computer systems -- Reliability -- Congresses
Computer engineering -- Congresses
Cybernetics & systems theory
Artificial intelligence
Technology & Engineering -- Engineering (General)
Computers -- Intelligence (AI) & Semantics
Computer engineering
Computer systems -- Reliability
Electronic books
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783030482565
- Related ISBNs:
- 9783030482558
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.508759
- Ingest File:
- 04_029.xml