LEADER 03507nam 22006975 450 001 996466245503316 005 20200630005456.0 010 $a3-319-46140-0 024 7 $a10.1007/978-3-319-46140-3 035 $a(CKB)3710000000872931 035 $a(DE-He213)978-3-319-46140-3 035 $a(MiAaPQ)EBC6287998 035 $a(MiAaPQ)EBC5579037 035 $a(Au-PeEL)EBL5579037 035 $a(OCoLC)958966971 035 $a(PPN)195511034 035 $a(EXLCZ)993710000000872931 100 $a20160914d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNetworked Systems$b[electronic resource] $e4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /$fedited by Parosh Aziz Abdulla, Carole Delporte-Gallet 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (X, 396 p. 118 illus.) 225 1 $aComputer Communication Networks and Telecommunications ;$v9944 311 $a3-319-46139-7 330 $aThis book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification. . 410 0$aComputer Communication Networks and Telecommunications ;$v9944 606 $aComputer communication systems 606 $aAlgorithms 606 $aComputer logic 606 $aSoftware engineering 606 $aApplication software 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 615 0$aComputer communication systems. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aApplication software. 615 14$aComputer Communication Networks. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aInformation Systems Applications (incl. Internet). 676 $a004.6 702 $aAbdulla$b Parosh Aziz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDelporte-Gallet$b Carole$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466245503316 996 $aNetworked Systems$92499603 997 $aUNISA