Bøker i Lecture Notes in Computer Science-serien

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.

This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume.

This book constitutes the refereed proceedings of the 7th International Workshop on Human Behavior Understanding, HBU 2016, held in Amsterdam, The Netherlands, in October 2016. The 10 full papers were carefully reviewed and selected from 17 initial submissions. They are organized in topical sections named: behavior analysis during play;

This book constitutes the most visionary papers of the AAMAS 2016 Workshops, held in Singapore, Singapore, in May 2016. The 12 revised full papers presented were carefully reviewed and selected from the 12 workshops. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

This book constitutes the refereed proceedings of the 13th InternationalConference on Cooperative Design, Visualization, and Engineering, CDVE2016, held in Sydney, NSW, Australia, in October 2016.The 9 full papers and 42 short papers presented were carefully reviewed and selected from 89 submissions. The papers cover a broad range of topics in the field of cooperative visualization, visual analytics, cooperative engineering, and cooperative design and applications. 

This book constitutes the proceedings of the 9th International Conference on Similarity Search and Applications, SISAP 2016, held in Tokyo, Japan, in October 2016. The 18 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 47 submissions. and scalable similarity search.

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

This book constitutes the refereed proceedings of the 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, held in Munster, Germany, in October 2015. The 17 full papers presented together with 1 invited talk were carefully reviewed and selected from 50 submissions.

This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.

This book constitutes the refereed proceedings of the 10th International Conference on Social, Cultural, and Behavioral Modeling & Prediction and Behavior Representation in Modeling and Simulation, SBP-BRiMS 2017, held in Washington, DC, USA, in July 2017.The 16 full papers and 27 short papers presented were carefully reviewed and selected from 79 submissions. Owing to its strong multi-disciplinary heritage, the papers represent a large range of disciplines including computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science and use numerous types of computational methods such as machine learning, language technology, social network analysis and visualization, agent-based simulation, and statistics. They are organized in the following topical sections: behavioral and social sciences; cyber and intelligence applications; information, systems, and network sciences; and methodology.

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Web Engineering, ICWE 2017, held in Rome, Italy, in June 2017.The 20 full research papers and 12 short papers presented together with 6 application papers, 6 demonstration papers, and 6 contributions to the PhD Symposium, were carefully reviewed and selected from 139 submissions. The papers cover< research areas such as Web application modeling and engineering, human computation and crowdsourcing applications, Web applications composition and mashup, Social Web applications, Semantic Web applications, Web of Things applications, and big data.

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, formal methods semantics and verification of secure systems;

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation.

The two volume set LNCS 10342 and 10343 constitutes the refereed Proceedings of the 22nd Australasian Conference on Information Security and Privacy, ACISP 2017, held in Auckland, New Zealand, in July 2017.

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.

This book constitutes the proceedings of the 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017, held in Guilin, China, in June 2017.The 70 full papers and 9 short papers presented in this book werde carefully reviewed and selected from 238 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. reversible circuit synthesis;

The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2016, held in Athens. Greece, in September 2016.The 11 revised full papers and 11 short papers presented were carefully reviewed and selected from 38 submissions.This volume has been structured following the seven sessions that comprised the conference program (three of which are work-in-progress sessions): Session 1: Business ModelsSession 2: Work in Progress on Quality of Services and Service Level AgreementsSession 3: Work in Progress on Cloud EconomicsSession 4: Energy ConsumptionSession 5: Resource AllocationSession 6: Work in Progress on Resource AllocationSession 7: Cloud Applications

This book constitutes the refereed proceedings of the Second International Conference on Data Mining and Big Data, DMBD 2017, held in Fukuoka, Japan, in July/August 2017. They were organized in topical sections named: association analysis; big data; data analysis; data mining;