001450016 000__ 04542cam\a2200589\i\4500
001450016 001__ 1450016
001450016 003__ OCoLC
001450016 005__ 20230310004503.0
001450016 006__ m\\\\\o\\d\\\\\\\\
001450016 007__ cr\un\nnnunnun
001450016 008__ 221004s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001450016 019__ $$a1346533055
001450016 020__ $$a9783031174360$$q(electronic bk.)
001450016 020__ $$a3031174364$$q(electronic bk.)
001450016 020__ $$z9783031174353
001450016 020__ $$z3031174356
001450016 0247_ $$a10.1007/978-3-031-17436-0$$2doi
001450016 035__ $$aSP(OCoLC)1346569435
001450016 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001450016 049__ $$aISEA
001450016 050_4 $$aTK5105.5
001450016 08204 $$a004.6$$223/eng/20221004
001450016 1112_ $$aNETYS (Conference)$$n(10th :$$d2022 :$$cOnline)
001450016 24510 $$aNetworked systems :$$b10th International Conference, NETYS 2022, Virtual event, May 17-19, 2022, Proceedings /$$cMohammed-Amine Koulali, Mira Mezini (eds.).
001450016 2463_ $$aNETYS 2022
001450016 264_1 $$aCham :$$bSpringer,$$c2022.
001450016 300__ $$a1 online resource (x, 317 pages) :$$billustrations (some color).
001450016 336__ $$atext$$btxt$$2rdacontent
001450016 337__ $$acomputer$$bc$$2rdamedia
001450016 338__ $$aonline resource$$bcr$$2rdacarrier
001450016 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13464
001450016 500__ $$aIncludes author index.
001450016 5050_ $$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.
001450016 506__ $$aAccess limited to authorized users.
001450016 520__ $$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.
001450016 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 4, 2022).
001450016 650_0 $$aComputer networks$$vCongresses.
001450016 650_0 $$aWireless communication systems$$vCongresses.
001450016 650_0 $$aMobile computing$$vCongresses.
001450016 650_0 $$aCloud computing$$vCongresses.
001450016 655_0 $$aElectronic books.
001450016 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001450016 7001_ $$aKoulali, Mohammed-Amine,$$eeditor.
001450016 7001_ $$aMezini, Mira,$$d1966-$$eeditor.
001450016 77608 $$iPrint version: $$z3031174356$$z9783031174353$$w(OCoLC)1342620942
001450016 830_0 $$aLecture notes in computer science ;$$v13464.$$x1611-3349
001450016 852__ $$bebk
001450016 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-17436-0$$zOnline Access$$91397441.1
001450016 909CO $$ooai:library.usi.edu:1450016$$pGLOBAL_SET
001450016 980__ $$aBIB
001450016 980__ $$aEBOOK
001450016 982__ $$aEbook
001450016 983__ $$aOnline
001450016 994__ $$a92$$bISE