Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2016, held in Dubrovnik, Croatia in September 2016 under the sponsorship of the UNESCO chair in Data Privacy. The scope of the conference is on following topics: tabular data protection; microdata and big data masking;

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Web Reasoning and Rule Systems, RR 2016, held in Aberdeen, Scotland, UK, in September 2016.The 10 full papers and 3 technical communications presented were carefully reviewed and selected from 17 submissions.

This two-volume set (LNAI 9875 and LNAI 9876) constitutes the refereed proceedings of the 8th International Conference on Collective Intelligence, ICCCI 2016, held in Halkidiki, Greece, in September 2016. The 108 full papers presented were carefully reviewed and selected from 277 submissions.

This two-volume set (LNAI 9875 and LNAI 9876) constitutes the refereed proceedings of the 8th International Conference on Collective Intelligence, ICCCI 2016, held in Halkidiki, Greece, in September 2016. The 108 full papers presented were carefully reviewed and selected from 277 submissions.

This book constitutes the refereed conference proceedings of the 15th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2016, held in Swansea, UK, in September 2016The 47 full and 17 short papers presented were carefully reviewed and selected from 90 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The topics include formalisms for modeling biological processes; frameworks for model verification, validation, analysis, and simulation of biological systems;

This book constitutes the proceedings of the 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, held in Lyon, France, in September 2016. The 26 full papers, 23 short papers, 8 demo papers, and 33 poster papers presented in this volume were carefully reviewed and selected from 148 submissions.

This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimaraes, Portugal, in September 5-8, 2016. The 14 revised full papers presented were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The papers are grouped into the following tracks: technical track;

This book constitutes the proceedings of the 9th International Conference on Discrete Optimization and Operations Research, DOOR 2016, held in Vladivostok, Russia, in September 2016. The 39 full papers presented in this volume were carefully reviewed and selected from 181 submissions.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

This book constitutes the refereed proceedings of 3 workshops of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016.The three workshops were as follows: ΓÇó The International Workshop on Spatiotemporal Data Management and Mining for the Web (SDMMW 2016)ΓÇó The International Workshop on Semi-structured Big Data Management and Applications (SemiBDMA 2016).ΓÇó The International Workshop on Mobile Web Data Analytics (MWDA2016)

The main aim of the Patch-MI 2016 workshop is to promote methodological advances within the medical imaging field, with various applications in image segmentation, image denoising, image super-resolution, computer-aided diagnosis, image registration, abnormality detection, and image synthesis.

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.

This book constitutes the proceedings of the 13th IFIP WG 10.3International Conference on Network and Parallel Computing, NPC 2016,held in Xi'an, China, in October 2016. The 17 full papers presented were carefully reviewed and selected from 99 submissions. data processing and big data;

This book constitutes the refereed proceedings of the International Conference on Brain and Health Informatics, BHI 2016, held in Omaha, USA, in October 2016. The 37 revised full papers, including two workshop papers from BAI 2016, presented were carefully reviewed and selected for inclusion in the book.

This book constitutes the refereed proceedings of the 24th International Conference on Case-Based Reasoning Research and Development, ICCBR 2016, held in Atlanta, GA, USA, in October/November 2016. The 14 revised full papers presented were carefully reviewed and selected from 44 submissions.

This book constitutes the refereed proceedings of the 11th International Workshop on Data Privacy Management, DPM 2016 and the 5th International Workshop on Quantitative Aspects in Security Assurance, QASA 2016, held in Heraklion, Crete, Greece, in September 2016.

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.

This book constitutes the thoroughly refereed post-workshop proceedings of the 16th International Conference on WebEngineering, ICWE 2016, held in Lugano, Switzerland, in June 2016.The 15 revised full papers together with 5 short papers were selected form 37 submissions. The workshops complement the main conference, and provide a forum for researchers and practitioners to discuss emerging topics. As a result, the workshop committee accepted six workshops, of which the following four contributed papers to this volume:2nd International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (TELERISE 2016)2nd International Workshop on Mining the Social Web (SoWeMine 2016)1st International Workshop on Liquid Multi-Device Software for the Web (LiquidWS 2016)5thWorkshop on Distributed User Interfaces: Distributing Interactions (DUI 2016)

This book constitutes the refereed proceedings of the 27th Australasian Database Conference, ADC 2016, held in Sydney, NSW, Australia, in September 2016. The 33 full papers presented together with 11 demo papers were carefully reviewed and selected from 55 submissions.