This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portu
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on High Performance Computing Systems and Applications, HPCS 2009, held in Kingston, Canad
This book constitutes the proceedings of the 5th International Conference, CPC 2010 , held in Hualien, Taiwan in May 2010. The 67 full papers are carefully selected from 184 submissions and focus on t
This book constitutes the proceedings of the 8th International Conference on Pervasive Computing, Pervasive 2010, held in Helsinki, Finland, in May 2010. The 24 full papers and one note presented were
This volume constitutes the refereed proceedings of the 6th International Symposium on Bioinformatics Research and Applications, ISBRA 2010, held in Storrs, CT, USA, in May 2010.The 20 revised full pa
This book constitutes the proceedings of the 10th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP. The 47 papers were carefully selected from 157 submissions a
This book constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2010, held in Instanbul, Turkey, in April 2010.The 24 r
Genetic Programming comprises of proceedings of the 12th European Conference on Genetic Programming, EuroGP 2010. Topics include novel models, performance enhancements, extensions of genetic programmi
This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languag
Containing detailed papers on search computing, this book includes some visionary contributions on the latest trends and explores the background and related technologies. The papers are written by lea
This book constitutes the refereed proceedings of the 11th International Conference on Passive and Active Measurement, PAM 2010, held in Zurich, Switzerland, in April 2010.The 22 revised full papers a
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAP
This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010
This book constitutes the proceedings of the 6th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2010, held in Bangkok Thailand, in March 2010. The 42 p
The four-volume set LNCS 6016 - 6019 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 20
This book constitutes the proceedings of the 4th International Workshop on Algorithms and Computation, held in Dhaka, Bangladesh, in February 2010. The 23 revised full papers were carefully reviewed a
This two volume set LNCS 5981 and LNCS 5982 constitutes the refereed proceedings of the 15th International Conference on Database Systems for Advanced Applications, DASFAA 2010, held in Tsukuba, Japan
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying light cooperation with the
This volume constitutes the refereed proceedings of the 17th International Symposium on Graph Drawing, GD 2009, held in Chicago, USA, during September 2009.The 31 revised full papers and 4 short paper
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitat
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
This book constitutes the thoroughly refereed post-conference proceedings of the two international workshops DPM 2009, the 4th International Workshop on Data Privacy Management, and SETOP 2009, the Se
This book constitutes the refereed proceedings of the 4th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2009, held in Rocquencourt, France, in May 2009
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 i
This book constitutes the refereed proceedings of the Third International Symposium on Biomedical Simulation, ISBMS 2006, held in Zurich, Switzerland in July 2006. The 12 revised full papers and 11 po
This book constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2005, held in Wuhan, China in December 2005. The volume also contains 12
This book constitutes the refereed proceedings of the First International Symposium on Visual Computing, ISVC 2005, held in Lake Tahoe, NV, USA in December 2005.The 33 revised full papers and 26 poste
This book constitutes the refereed proceedings of the 8th International Conference on Asian Digital Libraries, ICADL 2005, held in Bangkok, Thailand in December 2005.The 40 revised full papers, 15 rev
This book constitutes the refereed proceedings of the 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, held in Havana, Cuba in November 2005.The 107 revised full papers presented togeth
This book constitutes the refereed proceedings of the 13th Annual European Symposium on Algorithms, ESA 2005, held in Palma de Mallorca, Spain, in September 2005 in the context of the combined confere
This book constitutes the refereed proceedings of the 8th International Conference on Parallel Computing Technologies, PaCT 2005, held in Krasnoyarsk, Russia in September 2005.The 38 revised full pape
This book constitutes the refereed proceedings of the Second International Conference on Trust and Privacy in Digital Business, TrustBus 2005, held in Copenhagen, Denmark, in August 2005.The 32 revise
This book constitutes the joint refereed proceedings of the 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and the 9th International Worksh
This book constitutes the refereed proceedings of the 25th Annual International Cryptology Conference, CRYPTO 2005, held in Santa Barbara, California, USA in August 2005.The 33 revised full papers pre
This book constitutes the refereed proceedings of the 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, held in Porto, Portugal in June 2005.The 39 revised full pa
This book constitutes the refereed proceedings of the First International Workshop on Location- and Context-Awareness, LoCA 2005, held in Oberpfaffenhofen, Germany in May 2005.The 26 revised full pape
This book constitutes the refereed proceedings of the IEEE International Conference on Intelligence and Security Informatics, ISI 2005, held in Atlanta, GA, USA in May 2005.The 28 revised full papers,
