03681nam 22007095 450 99646627590331620200706045139.03-319-59647-010.1007/978-3-319-59647-1(CKB)4340000000061553(DE-He213)978-3-319-59647-1(MiAaPQ)EBC6283198(MiAaPQ)EBC5591038(Au-PeEL)EBL5591038(OCoLC)987613708(PPN)201471485(EXLCZ)99434000000006155320170513d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNetworked Systems[electronic resource] 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /edited by Amr El Abbadi, Benoît Garbinato1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XVIII, 484 p. 111 illus.) Computer Communication Networks and Telecommunications ;102993-319-59646-2 Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication. .Computer Communication Networks and Telecommunications ;10299Computer communication systemsAlgorithmsComputer logicSoftware engineeringApplication softwareComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computer communication systems.Algorithms.Computer logic.Software engineering.Application software.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Software Engineering.Information Systems Applications (incl. Internet).004.6El Abbadi Amredthttp://id.loc.gov/vocabulary/relators/edtGarbinato Benoîtedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466275903316Networked Systems2499603UNISA