Networked Systems [E-Book] : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings / edited by Chryssis Georgiou, Rupak Majumdar.
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 submi...
Saved in:
Full text |
|
Personal Name(s): | Georgiou, Chryssis, editor |
Majumdar, Rupak, editor | |
Edition: |
1st edition 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
XVII, 376 pages 100 illustrations, 69 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030670870 |
DOI: |
10.1007/978-3-030-67087-0 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Computer Communication Networks and Telecommunications ;
12129 /* Depending on the record driver, $field may either be an array with "name" and "number" keys or a flat string containing only the series name. We should account for both cases to maximize compatibility. */?> Lecture Notes in Computer Science |
Subject (LOC): |
- 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).