Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9944)
Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)
Conference series link(s): NETYS: International Conference on Networked Systems
Conference proceedings info: NETYS 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (31 papers)
-
Front Matter
About this book
This 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.
Keywords
- ant colony optimization
- distributed systems
- formal methods
- social networks
- static analysis
- cloud systems
- concurrrent algorithms
- encryption
- event-based systems
- fault tolerance
- heterogeneous network
- models of computation
- multi-core architectures
- program verification
- QoS
- RFID
- security
- swarm intelligence
- Web crawling
- Web-based architectures
Editors and Affiliations
-
Uppsala University , Uppsala, Sweden
Parosh Aziz Abdulla
-
Université Paris Diderot , Paris, France
Carole Delporte-Gallet
Bibliographic Information
Book Title: Networked Systems
Book Subtitle: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
Editors: Parosh Aziz Abdulla, Carole Delporte-Gallet
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-46140-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-46139-7Published: 15 September 2016
eBook ISBN: 978-3-319-46140-3Published: 14 September 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 396
Number of Illustrations: 118 b/w illustrations
Topics: Computer Communication Networks, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software Engineering, Information Systems Applications (incl. Internet)