Böcker i Lecture Notes in Computer Science-serien

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 168 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. LNCS 10288:The 56 papers included in this volume are organized in topical sections on design thinking and design philosophy; aesthetics and perception in design; user experience evaluation methods and tools; user centered design in the software development lifecycle; DUXU education and training. LNCS 10289: The 56 papers included in this volume are organized in topical sections on persuasive and emotional design; mobile DUXU; designing the playing experience; designing the virtual, augmented and tangible experience; wearables and fashion technology. LNCS 10290: The 56 papers included in this volume are organized in topical sections on information design; understanding the user; DUXU for children and young users; DUXU for art, culture, tourism and environment; DUXU practice and case studies.

This volume constitutes the proceedings of the 11th International Conference on Augmented Cognition, AC 2017, held as part of the International Conference on Human-Computer Interaction, HCII 2017, which took place in Vancouver, BC, Canada, in July 2017.

This volume constitutes the proceedings of the 11th International Conference on Augmented Cognition, AC 2017, held as part of the International Conference on Human-Computer Interaction, HCII 2017, which took place in Vancouver, BC, Canada, in July 2017.

This book constitutes the refereed proceedings of the 4th International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: designing and developing smart environments; tracking and recognition techniques in ambient intelligence; human behavior in smart environments; emotions and affect in intelligent environments; and smart cities and communities.

They deal with algorithm, complexity, problem, reduction, NP-complete, graph, approximation, linear programming, local search, integer programming, semidefinite programming, parameterized algorithm, fixed parameter, tractability, randomness, computational geometry.

This book constitutes the refereed proceedings of the 10th IFIP WG 6.6International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, held in Munich, Germany, in June 2016.The 7 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The volume also includes 9 papers presented at the AIMS PhD workshop. They were reviewed in a separate process and selected from 21 submissions. The full papers are organized in topical sections on autonomic and smart management and security attacks and defenses. The workshop papers are organized in topical sections on management of future networks and security management. The short papers deal with methods for management and security.

This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.

This two volume set LNCS 9418 and LNCS 9419 constitutesthe proceedings of the 16th International Conference on Web Information SystemsEngineering, WISE 2015, held in Miami, FL, USA, in November 2015.The 53 full papers, 17 short and 14 special sessions andinvited papers, presented in these proceedings were carefully reviewed andselected from 189 submissions. The papers cover the areas of big datatechniques and applications, deep/hidden Web, integration of Web and internet,linked open data, semantic Web, social network computing, social Web andapplications, social Web models, analysis and mining, Web-based applications,Web-based business processes and Web services, Web data integration andmashups, Web data models, Web information retrieval, Web privacy and security,Web-based recommendations, and Web search.

This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015. The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of big data techniques and applications, deep/hidden web, integration of web and internet, linked open data, semantic web, social network computing, social web and applications, social web models, analysis and mining, web-based applications, web-based business processes and web services, web data integration and mashups, web data models, web information retrieval, web privacy and security, web-based recommendations, and web search.

This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. MAS software engineering methodologies and techniques, and development concerns;

This book constitutes the refereed conference proceedings of the 9th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2015, held in Fuzhou, China, in November 2015. The 30 revised full papers presented together with 12 short papers were carefully reviewed and selected from 83 submissions.

The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support coordinated development of diverse aspects of a system. In this book, a number of articles describe the vision and the way globalized DSMLs currently assist integrated DSML support teams working on systems that span many domains and concerns to determine how their work on a particular aspect influences work on other aspects. Globalized DSMLs offer support for communicating relevant information, and for coordinating development activities and associated technologies within and across teams, in addition to providing support for imposing control over development artifacts produced by multiple teams. DSMLs can be used to support socio-technical coordination by providing the means for stakeholders to bridge the gap between how they perceive a problem and its solution, and the programming technologies used to implement a solution. They also support coordination of work across multiple teams. DSMLs developed in an independent manner to meet the specific needs of domain experts have an associated framework that regulates interactions needed to support collaboration and work coordination across different system domains. The articles in the book describe how multiple heterogeneous modeling languages (or DSMLs) can be related to determine how different aspects of a system influence each other. The book includes a research roadmap that broadens the current DSML research focus beyond the development of independent DSMLs to one that provides support for globalized DSMLs.

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2015, Ontologies, Databases, and Applications of Semantics, ODBASE 2015, and Cloud and Trusted Computing, C&TC, held as part of OTM 2015 in October 2015 in Rhodes, Greece. The 30 full papers presented together with 15 short papers were carefully reviewed and selected from 144 initial submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

This volume constitutes the refereed proceedings of the17th International Workshop on Combinatorial Image Analysis, IWCIA 2015, heldin Kolkata, India, in November 2015. The 24 revised full papers and 2 invited papers presentedwere carefully reviewed and selected from numerous submissions.

These workshops were held as associated events at OTM 2015, the federated conferences "On The Move Towards Meaningful Internet Systems and Ubiquitous Computing", in Rhodes, Greece, in October 2015. The 55 full papers presented together with 3 short papers and 2 popsters were carefully reviewed and selected from a total of 100 submissions.

This book constitutes the refereed proceedings of the Second International Conference on Future Data and Security Engineering, FDSE 2015, held in Ho Chi Minh City, Vietnam, in November 2015. They have been organized in the following topical sections: big data analytics and massive dataset mining; emerging data management systems and applications;

This book constitutes the thoroughly refereed post-workshop proceedings of the 23rd International Workshop on Security Protocols, held in Cambridge, UK, in March/April 2015. After an introduction the volume presents 18 revised papers each followed by a revised transcript of the presentation and ensuing discussion at the event.

This book constitutes the refereed proceedings of the 9th International Conference on Provable Security, ProvSec 2015, held in Kanazawa, Japan, in November 2015. The 19 full papers and 7 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions.

This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, Germany in October 2015.

This book constitutes the refereed proceedings of the 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, held in Albacete, Spain, in November 2015. The 31 revised full papers presented were carefully selected from 175 submissions. intelligent Web and recommender systems;

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.

This book constitutes the proceedings of the 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, held in Poznan, Poland, in September 2015. personal information management and personal digital libraries; user studies for and evaluation of digital library systems and applications;

This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015. The 26 revised full papers presented were carefully reviewed and selected from 37 submissions.

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. reconstruction, image formation, advanced acquisition - computational imaging;

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. reconstruction, image formation, advanced acquisition - computational imaging;