Bøker i Lecture Notes in Computer Science-serien

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The contributions are organized in topical sections named: DSR in business process management; DSR in data science and business analytics;

This book constitutes the refereed proceedings of the 4th International Conference on Serious Games for Training, Education, Health and Sports, Game Days 2014, held in Darmstadt, Germany, in April 2014.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.

This book constitutes the refereed proceedings of the 12th International Workshop on Breast Imaging, IWDM 2014, held in Gifu City, Japan, in June/July 2014. The 24 revised full papers and 73 revised poster papers presented together with 6 invited talks were carefully reviewed and selected from 122 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Greece, in June 2014, jointly with 13 other thematically similar conferences.

The two-volume set LNCS 8523-8524 constitutes the refereed proceedings of the First International Conference on Learning and Collaboration Technologies, LCT 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences were carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers 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 93 contributions included in the LCT proceedings were carefully reviewed and selected for inclusion in this two-volume set. The 45 papers included in this volume are organizedin the following topical sections: virtual and augmented learning environments; mobile and ubiquitous learning; technology@school; collaboration, learning and training.

This book constitutes the refereed proceedings of the 6th Mexican Conference on Pattern Recognition, MCPR 2014, held in Cancun, Mexico, in June 2014. animal biometric recognition and applications of pattern recognition.

The two-volume set LNCS 8523-8524 constitutes the refereed proceedings of the First International Conference on Learning and Collaboration Technologies, LCT 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences were carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers 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 93 contributions included in the LCT proceedings were carefully reviewed and selected for inclusion in this two-volume set. The 45 papers included in this volume are organizedin the following topical sections: design of learning technologies; novel approaches in eLearning; student modeling and learning behavior; supporting problem-based, inquiry-based, project-based and blended learning.

This volume constitutes the refereed proceedings of the First International Conference on HCI in Business, HCIB 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCI International 2014, in Heraklion, Crete, Greece, jointly with 13 other thematically similar conferences.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014.

This book constitutes the refereed proceedings of the 9th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2011, held in Orlando, FL, USA, in July 2011, within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, together with 11 other thematically similar conferences.

This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

This book constitutes the refereed proceedings of the 19 International Conference on Formal Grammar 2014, collocated with the European Summer School in Logic, Language and Information in August 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Large-Scale Scientific Computations, LSSC 2013, held in Sozopol, Bulgaria, in June 2013. large-scale models: numerical methods, parallel computations and applications;

This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013. The papers cover various topics such as artificial intelligence, bio-inspired and aerial robotics, computer vision, control, humanoid and robotic arm, swarm robotics, verification and ethics.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems.This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

This book constitutes the refereed proceedings of the 6th International Workshop on Multiple Access Communications, MACOM 2013, held in Vilnius, Lithuania, in December 2013.

Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.