Books in the Lecture Notes in Computer Science series

This book constitutes the thoroughly refereed proceedings fo the 9th International Conference on Information Theoretic Security, ICITS 2016, held in Tacoma, WA, USA, in August 2016. The 14 full papers presented in this volume were carefully reviewed and selected from 40 submissions. quantum cryptography; visual cryptography;

This book constitutes the refereed proceedings of the 9th International Conference on on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2016, held in Zhangjiajie, China, in November 2016. The 40 papers presented in this volume were carefully reviewed and selected from 110 submissions.

This volume constitutes the refereed proceedings of six workshops held at the 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2016, held in Zhangjiajie, China, in November 2016: the 7th International Workshop on Trust, Security and Privacy for Big Data, TrustData 2016;

This book constitutes the proceedings of the 17th International Conference on Product-Focused Software Process Improvement, PROFES 2016, held in Trondheim, Norway, in November 2016. The 24 revised full papers presented together with 21 short papers, 1 keynote, 3 invited papers, 5 workshop papers.

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural Syntactic, and Statistical Pattern Recognition, S+SSPR 2016, consisting of the International Workshop on Structural and Syntactic Pattern Recognition SSPR, and the International Workshop on Statistical Techniques in Pattern Recognition, SPR.

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

This book constitutes the refereed proceedings of the 20th InternationalConference on Knowledge Engineering and Knowledge Management, EKAW 2016,held in Bologna, Italy, in November 2016. The 51 full papers presented were carefully reviewed and selected from 171 submissions.

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016, held in Sendai, Japan, in December 2016. The papers are grouped in topical sections on applications of natural computing, evolutionary computation, formal models, and machine learning.

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016. The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions.

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XX in the series is a continuation of a number of research streams that have grown out of the seminal work of Zdzislaw Pawlak during the first decade of the 21st century.

This book constitutes the refereed proceedings of the 9th International Conference on Knowledge Science, Engineering and Management, KSEM 2016, held in Passau, Germany, in October 2016. Enterprise Knowledge; Knowledge Engineering; Knowledge Enrichment and Visualization; Knowledge Management; Knowledge Retrieval; Knowledge Systems and Security;

This book reflects a current state of the art and future perspectives of Digital Heritage focusing on not interpretative reconstruction and including as well as bridging practical and theoretical perspectives, strategies and approaches.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2016, held in Rome, Italy, in June 2016. The 33 revised full papers included in the volume ware carefully reviewed and selected from 38 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 13th European Conference on the Semantic Web, ESWC 2016, held in Heraklion, Greece, in May/June 2016.The volume contains 16 full papers and 38 poster and demonstration papers, carefully selected from 12 workshops focusing on specific research issues related to the Semantic Web. 

This book is open access under a CC BY 4.0 license. Technical Systems-of-Systems (SoS) - in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective - form the backbone of most of today's infrastructure.

This book constitutes the proceedings of the 21st Nordic Conference on Secure IT Systems, held in Oulu, Finland, in November 2016. The 16 full papers presented in this volume were carefully reviewed and selected from 43 submissions.The focus of the conference is on following topics: Security, System Security, Network Security, Software Security, and Information Security.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Web-Based Learning, ICWL 2016, held in Rome, Italy, in October 2016. The 19 revised full papers presented together with 10 short papers and 4 poster papers were carefully reviewed and selected from 110 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Social Robotics, ICSR 2016, held in Kansas City, MO, USA, in November 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Provable Security, ProvSec 2016, held in Nanjing, China, in November 2016. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions.

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. This included active messages, non-blocking APIs, fault tolerance capabitlities, exploring implementation of OpenSHMEM using communication layers such as OFI and UCX and implementing OpenSHMEM for heterogeneous architectures.

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. EMAS deals with MAS software engineering processes, methodologies and techniques;

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015.

This book constitutes revised selected papers from the 4th ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2016, held in Riva del Garda, Italy, in September 2016.