03691nam 22007335 450 991033757140332120200703130023.03-030-05529-910.1007/978-3-030-05529-5(CKB)4100000007389617(DE-He213)978-3-030-05529-5(MiAaPQ)EBC5919958(PPN)233799400(EXLCZ)99410000000738961720190105d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNetworked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /edited by Andreas Podelski, François Taïani1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XXXIII, 412 p. 388 illus., 60 illus. in color.) Computer Communication Networks and Telecommunications ;110283-030-05528-0 Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.Computer Communication Networks and Telecommunications ;11028Computer communication systemsSoftware engineeringArchitecture, ComputerLogic designMicroprogramming Input-output equipment (Computers)Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Logic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050Control Structures and Microprogramminghttps://scigraph.springernature.com/ontologies/product-market-codes/I12018Input/Output and Data Communicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I12042Computer communication systems.Software engineering.Architecture, Computer.Logic design.Microprogramming .Input-output equipment (Computers).Computer Communication Networks.Software Engineering/Programming and Operating Systems.Computer System Implementation.Logic Design.Control Structures and Microprogramming.Input/Output and Data Communications.004.6004.6Podelski Andreasedthttp://id.loc.gov/vocabulary/relators/edtTaïani Françoisedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337571403321Networked Systems2499603UNINA