04851nam 22006495 450 991048347450332120230726072051.03-030-48256-110.1007/978-3-030-48256-5(CKB)4100000011254368(MiAaPQ)EBC6207636(DE-He213)978-3-030-48256-5(PPN)248395912(EXLCZ)99410000001125436820200521d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTheory 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 /edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (730 pages)Advances in Intelligent Systems and Computing,2194-5365 ;11733-030-48255-3 Includes bibliographical references and index.Sequence mining and property verification for fault localization in Simulink models -- Handwritten text lines segmentation using two column projection -- Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging -- Classification of Local Administrative Units in Poland: Spatial Approach -- Development of Methodology for Counteraction to Cyber-attacks in Wireless Sensor Networks -- The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain -- Common Criteria vulnerability assessment ontology -- Risk Management Approach for Revitalization of Post-Mining Areas -- CVE based classification of vulnerable IoT systems -- Reliability and Availability Analysis of Critical Infrastructure Composed of Dependent Systems.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 solely as 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).Advances in Intelligent Systems and Computing,2194-5365 ;1173Computational intelligenceDynamicsNonlinear theoriesArtificial intelligenceComputational IntelligenceApplied Dynamical SystemsArtificial IntelligenceComputational intelligence.Dynamics.Nonlinear theories.Artificial intelligence.Computational Intelligence.Applied Dynamical Systems.Artificial Intelligence.004Zamojski Wojciechedthttp://id.loc.gov/vocabulary/relators/edtMazurkiewicz Jacekedthttp://id.loc.gov/vocabulary/relators/edtSugier Jarosławedthttp://id.loc.gov/vocabulary/relators/edtWalkowiak Tomaszedthttp://id.loc.gov/vocabulary/relators/edtKacprzyk Januszedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483474503321Theory and Applications of Dependable Computer Systems1918827UNINA