| 000 | 04777nam a22006375i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-17436-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240730171920.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220927s2022 sz | s |||| 0|eng d | ||
| 020 |
_a9783031174360 _9978-3-031-17436-0 |
||
| 024 | 7 |
_a10.1007/978-3-031-17436-0 _2doi |
|
| 050 | 4 | _aTK5105.5-5105.9 | |
| 072 | 7 |
_aUKN _2bicssc |
|
| 072 | 7 |
_aCOM043000 _2bisacsh |
|
| 072 | 7 |
_aUKN _2thema |
|
| 082 | 0 | 4 |
_a004.6 _223 |
| 245 | 1 | 0 |
_aNetworked Systems _h[electronic resource] : _b10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings / _cedited by Mohammed-Amine Koulali, Mira Mezini. |
| 250 | _a1st ed. 2022. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
| 300 |
_aX, 317 p. 75 illus., 63 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13464 |
|
| 505 | 0 | _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. | |
| 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. | ||
| 650 | 0 |
_aComputer networks . _931572 |
|
| 650 | 0 |
_aCoding theory. _94154 |
|
| 650 | 0 |
_aInformation theory. _914256 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aOperating systems (Computers). _95329 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 1 | 4 |
_aComputer Communication Networks. _9100875 |
| 650 | 2 | 4 |
_aCoding and Information Theory. _9100876 |
| 650 | 2 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aOperating Systems. _937074 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 700 | 1 |
_aKoulali, Mohammed-Amine. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9100880 |
|
| 700 | 1 |
_aMezini, Mira. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9100881 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9100883 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031174353 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031174377 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13464 _923263 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-17436-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c87884 _d87884 |
||