Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 17th International Workshop on Digital Forensics and Watermarking, IWDW 2018, held on Jeju Island, Korea, in October 2018.The 25 papers presented in this volume were carefully reviewed and selected from 43 submissions.

This set of 30 volumes constitutes the proceedings of all of the conferences affiliated with HCI International 2018, which was held in Las Vegas, NV, USA, in July 2018.

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

This volume contains the workshopproceedings of the accompanying workshops of the 14th Financial Cryptograpy and Data Security International Conference 2010, held on Tenerife, Canary Islands, Spain, January 25-28, 2010.

This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018.

This two-volume set LNCS 11196 and LNCS 11197 constitutes the refereed proceedings of the 7th International Conference on Digital Heritage, EuroMed 2018, held in Nicosia, Cyprus, in October/November 2018. The 21 full papers, 47 project papers, and 29 short papers presented were carefully reviewed and selected from 537 submissions.

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions.

This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The papers were organized in topical sections named: software security;

The papers address issues such as software security, blockchain and machine learning, hardware security, attacks, malware and vulnerabilities, protocol security, privacy, CPS and IoT security, mobile security, database and web security, cloud security, applied crypto, multi-party computation, SDN security.

This book constitutes the refereed proceedings of the 9th International Conference of the CLEF Initiative, CLEF 2018, jointly organized by Avignon, Marseille and Toulon universities and held in Avignon, France, in September 2018.

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Collaboration Technologies, CollabTech 2018, held in Costa de Caparica, in September 2018. The 12 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 36 submissions.

This book constitutes the proceedings of the 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, held in Leeds, UK, in September 2018. The 42 full and short papers, 7 demo papers, and 23 poster papers presented in this volume were carefully reviewed and selected from 142 submissions.

This book constitutes the proceedings of the 22nd European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 17 regular papers presented together with two invited papers were carefully selected and reviewed from numerous submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2018, held in Regensburg, Germany, in September 2018 in conjunction with DEXA 2018. The 15 revised full papers presented were carefully reviewed and selected from 29 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2018, held in Regensburg, Germany, in September 2018. The 19 revised full papers presented were carefully reviewed and selected from 22 submissions.

This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.The volume contains 41 poster and demonstration papers, 11 invited workshop papers, and 9 full papers, selected out of a total of 70 submissions.

This book constitutes the refereed proceedings of the 13th International Workshop on Security, IWSEC 2018, held in Sendai, Japan, in September 2018.

The papers cover a wide range of topics such as Biometrics, Speech recognition, Activity recognition and understanding, Online handwriting recognition, System forensics, Multi-factor authentication, Graphical and visual passwords.

The papers focus on emerging models, paradigms, technologies and novel applications related to Internet-based distributed systems, including Internet of Things, cyber-physical systems, wireless sensor networks, next-generation collaborative systems, extreme-scale networked systems, and cloud-based big data systems.

This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.The 21 papers presented were carefully reviewed and selected from 39 submissions.

fgsdfgdsgdf

The two volume set LNAI 10984 and LNAI 10985 constitutes the refereed proceedings of the 11th International Conference on Intelligent Robotics and Applications, ICIRA 2018, held in Newcastle, NSW, Australia, in August 2018. The 81 papers presented in the two volumes were carefully reviewed and selected from 129 submissions.

This two-volume set, LNAI 11012 and 11013, constitutes the thoroughly refereed proceedings of the 15th Pacific Rim Conference on Artificial Intelligence, PRICAI 2018, held in Nanjing, China, in August 2018. The 82 full papers and 58 short papers presented in these volumes were carefully reviewed and selected from 382 submissions.

This book constitutes the proceedings of the 15th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2018, held in Nanjing, China, in August 2018. The 15 full papers and 7 short papers included in this volume were carefully reviewed and selected from 51 initial submissions.

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018. parallel and distributed data management and analytics; parallel and distributed programming, interfaces, and languages; theory and algorithms for parallel computation and networking;