Books in the Lecture Notes in Computer Science series

This book constitutes the thoroughly refereed proceedings of the 14th International Workshop on Information Security Applications, WISA 2013, held on Jeju Island, Korea, in August 2013. The papers are organized in topical sections such as cryptography, social network security, mobile security, network security, future applications and privacy.

This book constitutes the refereed post-proceedings of the 8th International Workshop on Economics of Grids, Clouds, Systems, and Services, GECON 2011, held in Paphos, Cyprus, in December 2011. The 9 revised full papers presented together with 5 work in progress papers were carefully reviewed and selected from 27 papers.

The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

This book constitutes the proceedings of the 11th European Workshop on Performance Engineering, EPEW 2014, held in Florence, Italy, in September 2014. The 18 full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections named: cloud performance modelling;

software architectures and their models, refinement and verification; relationship between software requirements, models and code; models of object and component systems; service-oriented architectures: models and development methods; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

The book will serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field.

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. models and tools; applications, theory and tools;

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. The 363 revised papers presented were carefully reviewed and selected from 1444 submissions. motion and 3D scene analysis;

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. computational photography and low-level vision; motion and 3D scene analysis;

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. computational photography and low-level vision; motion and 3D scene analysis;

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. The 363 revised papers presented were carefully reviewed and selected from 1444 submissions. motion and 3D scene analysis;

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. computational photography and low-level vision; motion and 3D scene analysis;

This book constitutes the refereed proceedings of the 5th International Workshop on Machine Learning in Medical Imaging, MLMI 2014, held in conjunction with the International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2014, in Cambridge, MA, USA, in September 2014.

The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September 2014. The 363 revised papers presented were carefully reviewed and selected from 1444 submissions. motion and 3D scene analysis;

This book constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2014, held in Varna, Bulgaria in September 2014.

The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.

The three-volume set LNCS 8673, 8674, and 8675 constitutes the refereed proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014, held in Boston, MA, USA, in September 2014.

The three-volume set LNCS 8673, 8674, and 8675 constitutes the refereed proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014, held in Boston, MA, USA, in September 2014.

The three-volume set LNCS 8673, 8674, and 8675 constitutes the refereed proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014, held in Boston, MA, USA, in September 2014.

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noumea, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions.

This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in conjunction with DEXA 2014.

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. multiobjective optimization;

This book constitutes the refereed proceedings of the 18th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2014, held in Pittsburgh, PA, USA, in April 2014. They report on original research in all areas of computational molecular biology and bioinformatics.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.

This book constitutes the thoroughly refereed proceedings of the 5th International Workshop, PMBS 2014 in New Orleans, LA, USA in November 2014. The 12 full and 2 short papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers cover topics on performance benchmarking and optimization;

This book constitutes the refereed proceedings of the 6th International Workshop on Biomedical Image Registration, WBIR 2014, held in London, UK, in July 2014. The 16 full papers and 8 poster papers included in this volume were carefully reviewed and selected from numerous submitted papers.