LEADER 04851nam 22006495 450 001 9910483474503321 005 20230726072051.0 010 $a3-030-48256-1 024 7 $a10.1007/978-3-030-48256-5 035 $a(CKB)4100000011254368 035 $a(MiAaPQ)EBC6207636 035 $a(DE-He213)978-3-030-48256-5 035 $a(PPN)248395912 035 $a(EXLCZ)994100000011254368 100 $a20200521d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheory and Applications of Dependable Computer Systems $eProceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 ? July 3, 2020, Brunów, Poland /$fedited by Wojciech Zamojski, Jacek Mazurkiewicz, Jaros?aw Sugier, Tomasz Walkowiak, Janusz Kacprzyk 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (730 pages) 225 1 $aAdvances in Intelligent Systems and Computing,$x2194-5365 ;$v1173 311 $a3-030-48255-3 320 $aIncludes bibliographical references and index. 327 $aSequence 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. 330 $aThis 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). 410 0$aAdvances in Intelligent Systems and Computing,$x2194-5365 ;$v1173 606 $aComputational intelligence 606 $aDynamics 606 $aNonlinear theories 606 $aArtificial intelligence 606 $aComputational Intelligence 606 $aApplied Dynamical Systems 606 $aArtificial Intelligence 615 0$aComputational intelligence. 615 0$aDynamics. 615 0$aNonlinear theories. 615 0$aArtificial intelligence. 615 14$aComputational Intelligence. 615 24$aApplied Dynamical Systems. 615 24$aArtificial Intelligence. 676 $a004 702 $aZamojski$b Wojciech$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMazurkiewicz$b Jacek$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSugier$b Jaros?aw$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWalkowiak$b Tomasz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKacprzyk$b Janusz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483474503321 996 $aTheory and Applications of Dependable Computer Systems$91918827 997 $aUNINA