LEADER 04994nam 22008175 450 001 9910616392003321 005 20251225203818.0 010 $a9783031174360 010 $a3031174364 024 7 $a10.1007/978-3-031-17436-0 035 $a(MiAaPQ)EBC7102116 035 $a(Au-PeEL)EBL7102116 035 $a(CKB)24950462000041 035 $a(PPN)264953401 035 $a(BIP)85817915 035 $a(BIP)85466477 035 $a(DE-He213)978-3-031-17436-0 035 $a(EXLCZ)9924950462000041 100 $a20220927d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNetworked Systems $e10th International Conference, NETYS 2022, Virtual Event, May 17?19, 2022, Proceedings /$fedited by Mohammed-Amine Koulali, Mira Mezini 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (323 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13464 300 $aIncludes index. 311 08$aPrint version: Koulali, Mohammed-Amine Networked Systems Cham : Springer International Publishing AG,c2022 9783031174353 327 $aDistributed System -- A Snapshot-Based Introduction to the Linearizability Hierarchy -- Varda : An architectural framework for compositional distributed programming -- Recycling Memory in Recoverable Mutex Locks -- PoWacle: a proof-of-work based decentralized blockchain oracle -- FEBR: Expert-Based Recommendation Framework for beneficial and personalized content -- Bird@Edge: Bird Species Recognition at the Edge -- Solvability of Byzantine Fault-Tolerant Causal Ordering Problems -- Relaxed Reliable Broadcast for Decentralized Trust -- A Self-Stabilizing Low Stretch Spanning Tree Construction -- Analysis of Interactions Among Infrastructure Provider Fronting Content Provider -- Networking -- An Eventually Perfect Failure Detector on ADD Channels Using Clustering -- Making CSMA Collision-Free and Stable Using Collaborative Indexing -- ProgDTN: Programmable Disruption-tolerant Networking -- Distributed oracle for estimating global network delay with known error bounds -- Mechanical energy minimization UAV-mounted base station Path plan for public safety communication -- Dynamics analysis for a duopoly game with bounded rationality in cognitive radio network -- IoT based Prediction of Active and Passive Earth Pressure Coefficients using Artificial Neural Networks -- Verification -- Applying Custom Patterns in Semantic Equality Analysis -- Verifying Reachability for TSO Programs with Dynamic Thread Creation -- Security -- Chromatic and spatial analysis of one-pixel attacks against an image classifier. 330 $aThis book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17?19, 2022. The conference was held virtually due to the COVID-19 crisis. The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including multi-core architectures, Concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, big data applications and systems, cloud systems, networks, security, and formal verification. They were organized in topical sections as follows: Distributed System; Networking; Verification; Security. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13464 606 $aComputer networks 606 $aCoding theory 606 $aInformation theory 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aArtificial intelligence 606 $aComputer Communication Networks 606 $aCoding and Information Theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aArtificial Intelligence 615 0$aComputer networks. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aOperating systems (Computers) 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aCoding and Information Theory. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aArtificial Intelligence. 676 $a004.6782 676 $a004.6 702 $aKoulali$b Mohammed-Amine 702 $aMezini$b Mira 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910616392003321 996 $aNetworked Systems$92499603 997 $aUNINA