000			04230nam a2200421 i 4500
999			_c334763 _d334763 _x1
001			334763
003			ES-MaUEC
005			20230102114744.0
006			a|||| o|||| 10| 0
007			cr nn nnnaamaa
008			210113s2021 gw a o |1|| 0|eng d
020			_a9783030670870
024	7		_a10.1007/978-3-030-67087-0 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aTK5105.5 _b2021 EB
245	0	0	_aNetworked systems : _b8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings _cedited by Chryssis Georgiou, Rupak Majumdar
250			_aFirst edition 2021
264		1	_aCham, Switzerland _bSpringer International Publising _c2021
300			_a1 recurso en línea (XVII, 376 páginas) _b100 ilustraciones, 69 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF _2rda
490	0		_aComputer Communication Networks and Telecommunications _v12129
505	0		_aInvited 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).
520	3		_aThis 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. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic.
988			_aSpringer_Computer_2021
650		7	_2embne _aRedes informáticas _vCongresos y asambleas _9141354
650		7	_2embne _aSistemas de comunicación inalámbricos _vCongresos y asambleas _9158044
700	1		_aGeorgiou, Chryssis _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMajumdar, Rupak _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-67087-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b05/2021 _dz _eb _zSI