Computer Communication Networks and Telecommunications

Networked Systems

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

Editors: Bouajjani, Ahmed, Fauconnier, Hugues (Eds.)

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-319-26850-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-26849-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (42 chapters)

  • Scal: A Benchmarking Suite for Concurrent Data Structures

    Haas, Andreas (et al.)

    Pages 1-14

  • Verification of Buffered Dynamic Register Automata

    Abdulla, Parosh Aziz (et al.)

    Pages 15-31

  • Precise and Sound Automatic Fence Insertion Procedure under PSO

    Abdulla, Parosh Aziz (et al.)

    Pages 32-47

  • Model Checking Dynamic Distributed Systems

    Aiswarya, C.

    Pages 48-61

  • Efficient State-Based CRDTs by Delta-Mutation

    Almeida, Paulo Sérgio (et al.)

    Pages 62-76

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-319-26850-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-26849-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Networked Systems
Book Subtitle
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Editors
  • Ahmed Bouajjani
  • Hugues Fauconnier
Series Title
Computer Communication Networks and Telecommunications
Series Volume
9466
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-26850-7
DOI
10.1007/978-3-319-26850-7
Softcover ISBN
978-3-319-26849-1
Edition Number
1
Number of Pages
XXVIII, 526
Number of Illustrations and Tables
165 b/w illustrations
Topics