This book constitutes the refereed proceedings of the Third International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2012, held in Darmstadt, Germany, May 2012. The 16 revised full papers presented together with two invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on practical side-channel analysis; secure design; side-channel attacks on RSA; fault attacks; side-channel attacks on ECC; different methods in side-channel analysis.

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012. The 26 revised full papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in topical sections on side channel attacks, digital signatures, public-key encryption, cryptographic protocols, secure implementation methods, symmetric key primitives, and secure multiparty computation.

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development.

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Information Security Applications, WISA 2011, held in Jeju Island, Korea, in August 2011. The 21 revised full papers presented were carefully reviewed and selected from 74 submissions. The workshop serves as a forum for new results from the academic research community as well as from the industry; the papers are focusing on all technical and practical aspects of cryptographic and non-cryptographic security applications.

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2010, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), and on Computer Graphics Theory and Applications (GRAPP), held in Angers, France, in May 2010. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected. The papers are organized in topical sections on computer vision theory and applications; imaging theory and applications; computer graphics theory and applications; and information visualization theory and applications.

These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011. The 124 revised full papers presented in both volumes were carefully reviewed and selected from 422 submissions. The papers explore new application areas, feature new bio-inspired algorithms for solving specific hard optimization problems, and review the latest progresses in the cutting-edge research with swarm, evolutionary, and memetic computing in both theoretical and practical aspects.

This book A Guide to Graph Algorithms offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to explore graphs. It is a collection of texts that have proved to be trend setters and good examples of that. The book aims at providing the reader with a deep understanding of the structural properties of graphs that are useful for the design of efficient algorithms. These algorithms have applications in finite state machine modelling, social network theory, biology, and mathematics. The book contains many exercises, some up at present-day research-level. The exercises encourage the reader to discover new techniques by putting things in a clear perspective. A study of this book will provide the reader with many powerful tools to model and tackle problems in real-world scenarios.

This book comprises selected papers of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of signal processing, image processing and pattern recognition.

The two volume set, CCIS 262 and 263, constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of multimedia, computer graphics and broadcasting.

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems. This 4th issue contains 21 papers carefully reviewed and selected out of numerous submissions and is divided in four sections. The first section contains five regular papers. The second section consists of the top four papers from the 4th International Conference on High-Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The third section contains a set of six papers providing a snap-shot from the Workshop on Software and Hardware Challenges of Manycore Platforms, SHCMP 2008 held in Beijing, China, in June 2008. The fourth section consists of six papers from the 8th IEEE International Symposium on Systems, Architectures, Modeling and Simulation, SAMOS VIII (2008) held in Samos, Greece, in July 2008.

This book constitutes the refereed proceedings of the 4th International Workshop on Post-Quantum Cryptography, PQCrypto 2011, held in Taipei, Taiwan, in November/December 2011. The 18 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics in the field of post-quantum public key cryptosystems such as cryptosystems that have the potential to resist possible future quantum computers, classical and quantum attacks, and security models for the post-quantum era..

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. Data hiding and cryptographic techniques are often combined to complement each other, thus triggering the development of a new research field of multimedia security. Besides, two related disciplines, steganalysis and data forensics, are increasingly attracting researchers and becoming another new research field of multimedia security. This journal, LNCS Transactions on Data Hiding and Multimedia Security, aims to be a forum for all researchers in these emerging fields, publishing both original and archival research results. This issue consists mainly of a special section on content protection and forensics including four papers. The additional paper deals with histogram-based image hashing for searching content-preserving copies.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th British National Conference on Databases, BNCOD 28, held in Manchester, UK, in July 2011. The 13 revised full papers, 2 short papers, 2 demo papers and 1 poster paper presented together with the abstracts of 2 keynote talks and 1 tutorial paper were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics such as XML compression, XML updates, column-oriented stores, provenance, warehousing, streamed data, data mashups, dataspaces, sensor network query processing, and pattern-oriented search.

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Data Analysis, IDA 2011, held in Porto, Portugal, in October 2011. The 19 revised full papers and 16 revised poster papers resented together with 3 invited papers were carefully reviewed and selected from 73 submissions. All current aspects of intelligent data analysis are addressed, particularly intelligent support for modeling and analyzing complex, dynamical systems. The papers offer intelligent support for understanding evolving scientific and social systems including data collection and acquisition, such as crowd sourcing; data cleaning, semantics and markup; searching for data and assembling datasets from multiple sources; data processing, including workflows, mixed-initiative data analysis, and planning; data and information fusion; incremental, mixed-initiative model development, testing and revision; and visualization and dissemination of results; etc.

This book constitutes the refereed proceedings of the International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2011, held in Hangzhou, China, in October 2011. The 21 revised full papers presented together with 1 keynote lecture and 5 invited talks were carefully reviewed and selected from 55 submissions. The papers provide a wealth of new ideas and report both theoretical and applied research on integrated uncertainty modeling and management.

This book constitutes the refereed proceedings of the Third International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2011, held in Ingolstadt, Germany, in September 2011. The papers feature the analysis, modeling, implementation, execution and management of interaction patterns with an explicit stakeholder focus and also embrace themes pertaining to the engineering and management of systems and organizations, particularly with respect to the areas of interaction culture, process-aware information systems, strategic alignment, and governance structures.

This book constitutes the refereed proceedings of the First International Conference on Security Aspects in Information Technology, High-Performance Computing and Networking held in Haldia, India, in October 2011. The 14 full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 112 sumbissions. The papers address all current aspects in cryptography, security aspects in high performance computing and in networks as well. The papers are divided in topical sections on embedded security; digital rights management; cryptographic protocols; cryptanalysis/side channel attacks; and cipher primitives.

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, held in Vught, The Netherlands, in December 2009. The aim of the INEX 2010 workshop was to bring together researchers in the field of XML IR who participated in the INEX 2010 campaign. During the past year, participating organizations contributed to the building of large-scale XML test collections by creating topics, performing retrieval runs and providing relevance assessments. The workshop concluded the results of this large-scale effort, summarized and addressed issues encountered, and devised a work plan for the future evaluation of XML retrieval systems. The 37 full papers presented were carefully reviewed and selected from 42 submissions; they are organized into sections corresponding to the nine tracks of the workshop, investigating various aspects of XML retrieval, from book search to entity.

This book constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. The 94 revised full papers were carefully selected from 323 initial submissions. The papers are organized in topical sections on communications and networking, intelligent systems and applications, sensor network and cloud systems, information retrieval and scheduling, hardware and software engineering, security systems, robotics and RFID Systems, pattern recognition, image processing and clustering, data mining, as well as human computer interaction.

This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems and focus especially on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.

This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on models and languages, cellular automata, parallel programming tools and support, and applications.

This book constitutes the refereed proceedings of the Third International Conference on the Theory of Information Retrieval, ICTIR 2011, held in Bertinoro, Italy, in September 2011. The 25 revised full papers and 13 short papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 65 submissions. The papers cover topics ranging from query expansion, co-occurence analysis, user and interactive modelling, system performance prediction and comparison, and probabilistic approaches for ranking and modelling IR to topics related to interdisciplinary approaches or applications. They are organized into the following topical sections: predicting query performance; latent semantic analysis and word co-occurrence analysis; query expansion and re-ranking; comparison of information retrieval systems and approximate search; probability ranking principle and alternatives; interdisciplinary approaches; user and relevance; result diversification and query disambiguation; and logical operators and descriptive approaches.

This book constitutes the refereed proceedings of the 6th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2011, held in Chengdu, China, in August 2011.The 26 revised full papers and 13 invited papers presented were carefully reviewed and selected from numerous submissions. The papers address all current trends, challenges, and state of the art solutions related to various issues in wireless networks. Topics of interests include, but not limited to, effective and efficient state-of-the-art algorithm design and analysis, reliable and secure system development and implementations, experimental study and test bed validation, and new application exploration in wireless networks.

This book constitutes the refereed proceedings of the 33rd Symposium of the German Association for Pattern Recognition, DAGM 2011, held in Frankfurt/Main, Germany, in August/September 2011. The 20 revised full papers and 22 revised poster papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on object recognition, adverse vision conditions challenge, shape and matching, segmentation and early vision, robot vision, machine learning, and motion. The volume also includes the young researcher's forum, a section where a carefully jury-selected ensemble of young researchers present their Master thesis work.