Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
AvAhmed Bouajjani,Hugues Fauconnier
Häftad, Engelska, 2016
Del 9466 i serien Lecture Notes in Computer Science
559 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This bookconstitutes the revised selected papers of the Third International Conferenceon Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29full papers and 12 short papers presented together with 22 poster abstractswere carefully reviewed and selected from 133 submissions. They address majortopics such as multi-core architectures; concurrent and distributed algorithms;middleware environments; storage clusters; social networks; peer-to-peernetworks; sensor networks; wireless and mobile networks; and privacy andsecurity measures.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 13505
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Lukáš Holík, Zhilin Wu
Häftad, 2022
836 kr
Del 10145
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani, David Monniaux
Häftad, 2017
559 kr
Del 10321
Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva
Häftad, 2017
559 kr
Automated Technology for Verification and Analysis
Zhilin Wu, Lukas Holik, Ahmed Bouajjani
E-bok
20221 059 kr
Verification, Model Checking, and Abstract Interpretation
David Monniaux, Ahmed Bouajjani
E-bok
2017734 kr