Networked Systems Networked Systems

Networked Systems

Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

    • CHF 47.00
    • CHF 47.00

Beschreibung des Verlags

This book
constitutes the revised selected papers of the Third International Conference
on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29
full papers and 12 short papers presented together with 22 poster abstracts
were carefully reviewed and selected from 133 submissions. They address major
topics such as multi-core architectures; concurrent and distributed algorithms;
middleware environments; storage clusters; social networks; peer-to-peer
networks; sensor networks; wireless and mobile networks; and privacy and
security measures.

GENRE
Computer und Internet
ERSCHIENEN
2016
20. Februar
SPRACHE
EN
Englisch
UMFANG
554
Seiten
VERLAG
Springer International Publishing
GRÖSSE
12.2
 MB
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
2022
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2017
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2017