東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Networked systems = 8th Internationa...

NETYS (Conference) (2020 :)

FindBook

Google Book

Amazon

博客來

Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Networked systems/ edited by Chryssis Georgiou, Rupak Majumdar.
其他題名:	8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
其他題名:	NETYS 2020
其他作者:	Georgiou, Chryssis.
團體作者:	NETYS (Conference)
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	xvii, 376 p. :ill. (some col.), digital ;24 cm.
內容註:	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)
Contained By:	Springer Nature eBook
標題:	Computer networks - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-67087-0
ISBN:	9783030670870

Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
Networked systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /[electronic resource] :NETYS 2020edited by Chryssis Georgiou, Rupak Majumdar. - Cham :Springer International Publishing :2021. - xvii, 376 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,121290302-9743 ;. - Lecture notes in computer science ;12129..

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)

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. 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.

ISBN: 9783030670870

Standard No.: 10.1007/978-3-030-67087-0doiSubjects--Topical Terms:

569849
Computer networks
--Congresses.

LC Class. No.: TK5105.5 / .N47 2020

Dewey Class. No.: 004.6

Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
LDR:03600nmm a2200361 a 4500 001 2237355
003 DE-He213
005 20210113073743.0
006 m d
007 cr nn 008maaau
008 211111s2021 sz s 0 eng d
020 $a 9783030670870 $q (electronic bk.)
020 $a 9783030670863 $q (paper)
024 7 $a 10.1007/978-3-030-67087-0 $2 doi
035 $a 978-3-030-67087-0
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5 $b .N47 2020
072 7 $a UKN $2 bicssc
072 7 $a COM075000 $2 bisacsh
072 7 $a UKN $2 thema
082 0 4 $a 004.6 $2 23
090 $a TK5105.5 $b .N476 2020
111 2 $a NETYS (Conference) $n (8th : $d 2020 : $c Online) $3 3489473
245 1 0 $a Networked systems $h [electronic resource] : $b 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings / $c edited by Chryssis Georgiou, Rupak Majumdar.
246 3 $a NETYS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xvii, 376 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12129
490 1 $a Computer communication networks and telecommunications
505 0 $a 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)
520 $a 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. 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.
650 0 $a Computer networks $v Congresses. $3 569849
650 0 $a Wireless communication systems $x Congresses. $3 660078
650 0 $a Mobile computing $x Congresses. $3 582086
650 0 $a Cloud computing $v Congresses. $3 1085446
650 1 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Information Systems and Communication Service. $3 891044
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Data Structures and Information Theory. $3 3382368
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Georgiou, Chryssis. $3 898847
700 1 $a Majumdar, Rupak. $3 908062
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12129. $3 3489474
830 0 $a Computer communication networks and telecommunications. $3 3382528
856 4 0 $u https://doi.org/10.1007/978-3-030-67087-0
950 $a Computer Science (SpringerNature-11645)