國立虎尾科技大學 |

Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Networked Systems/ edited by Mohammed-Amine Koulali, Mira Mezini.
其他題名:	10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /
其他作者:	Mezini, Mira.
面頁冊數:	X, 317 p. 75 illus., 63 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Artificial Intelligence. -
電子資源:	https://doi.org/10.1007/978-3-031-17436-0
ISBN:	9783031174360

Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /
Networked Systems10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /[electronic resource] :edited by Mohammed-Amine Koulali, Mira Mezini. - 1st ed. 2022. - X, 317 p. 75 illus., 63 illus. in color.online resource. - Lecture Notes in Computer Science,134641611-3349 ;. - Lecture Notes in Computer Science,9324.

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

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

ISBN: 9783031174360

Standard No.: 10.1007/978-3-031-17436-0doiSubjects--Topical Terms:

646849
Artificial Intelligence.

LC Class. No.: TK5105.5-5105.9

Dewey Class. No.: 004.6

Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings /
LDR:03786nam a22004095i 4500 001 1083653
003 DE-He213
005 20220927151901.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031174360 $9 978-3-031-17436-0
024 7 $a 10.1007/978-3-031-17436-0 $2 doi
035 $a 978-3-031-17436-0
050 4 $a TK5105.5-5105.9
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
245 1 0 $a Networked Systems $h [electronic resource] : $b 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / $c edited by Mohammed-Amine Koulali, Mira Mezini.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a X, 317 p. 75 illus., 63 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13464
505 0 $a Distributed 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 $a This 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 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Compilers and Interpreters. $3 1365748
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Coding and Information Theory. $3 669784
650 1 4 $a Computer Communication Networks. $3 669310
650 0 $a Artificial intelligence. $3 559380
650 0 $2 lc $a Operating systems (Computers). $3 868175
650 0 $a Compilers (Computer programs). $3 975050
650 0 $a Software engineering. $3 562952
650 0 $a Information theory. $3 595305
650 0 $a Coding theory. $3 561460
650 0 $a Computer networks . $3 1365720
700 1 $a Mezini, Mira. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 786303
700 1 $a Koulali, Mohammed-Amine. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1389721
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031174353
776 0 8 $i Printed edition: $z 9783031174377
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-17436-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)