Networked Systems

8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

AvChryssis Georgiou,Rupak Majumdar

Häftad, Engelska, 2021

Del 12129 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions.

Produktinformation

Utgivningsdatum:2021-01-14
Mått:155 x 235 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:376
Förlag:Springer Nature Switzerland AG
ISBN:9783030670863

Utforska kategorier

Innehållsförteckning

Invited Papers.- On Network Topologies and the Decidability of Reachability Problem.- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks.- Blockchains and the Commons.- Regular Papers.- On the State Reachability Problem for Concurrent Programs under Power.- On the Encoding and Solving of Partial Information Games.- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory.- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution.- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults.- Infinite Grid Exploration by Disoriented Robots.- Wireless Broadcast with short labels.- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders.- Byzantine k-Set Agreement.- Fissile Locks.- Verifying Safety of Parameterized Heard-Of Algorithms.- Staleness and Local Progress in Transactional Memory.- Generic Framework for Optimization of Local Dissemination in Wireless Networks.- Verifying Weakly Consistent Transactional Programs using Symbolic Execution.- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.- Self-stabilizing Uniform Reliable Broadcast.- Fully Anonymous Consensus and Set Agreement Algorithms.- Cutoffs for symmetric point-to-point distributed algorithms.- Short Papers.- Stateless Distributed Ledgers.- Stability Under Adversarial Injection of Dependent Tasks.- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method.- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract).