This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.The 33 full papers presented toget
This book constitutes the proceedings of the First International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2010, held in Puebla, Mexico, on August 8-11, 2010. The
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Confere
This book celebrates the 25th anniversary of GULP---the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art s
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
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
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
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
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
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level in both printed and electronic form. Enjoying tight cooperation with the R&am
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
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 7th International Conference on Algorithms and Computation, CIAC 2010, held in Rome, Italy, in May 2010. The 30 revised full papers presented toge
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 proceedings of the 5th International Conference, FUN 2010, held in June 2010 in Ischia, Italy. FUN with algorithms is a three-yearly conference that aims at atractings works
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
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
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 proceedings of the 4th International Conference on Learning and Intelligent Optimization, LION 4, held in Venice, Italy, in January 2010.The 23 regular an
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
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
Lecture Notes in Computer ScienceThe 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. Enj
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
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
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
Advanced Lectures on Software EngineeringSoftware defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the
This book constitutes the refereed proceedings of the 9th International IFIP TC6 Networking Conference, NETWORKING 2010, held in Chennai, India, in May 2010. The 24 revised full papers and 9 work in p
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Data Analysis, IDA 2010, held in Tucson, AZ, USA in May 2010. The 21 revised papers presented together
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, held in Saarbrucke
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
Whereas the mobile device has become ubiquitous in people's daily life not only as a cellular phone but also as a media player, a mobile computing device, and a personal assistant, it is particularly
This book contains thoroughly refereed extended papers from the Second International Workshop on Knowledge Discovery from Sensor Data, Sensor-KDD 2008, held in Las Vegas, NV, USA, in August 2008. The
The 18th InternationalConference on User Modeling, Adaptation and Person- ization(UMAP 2010)took placeon BigIsland, HawaiiduringJune 20–24,2010. It was the second conference after UMAP 2009 in Trento,
This volume constitutes the refereed proceedings of the 9th International Symposium on Experimental Algorithms, SEA 2010, held on Ischia Island, Naples, Italy, in May 2010. The 40 revised full papers
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 6th International Workshop on Databases in Networked Information Systems, DNIS 2010, held in Aizu-Wakamatsu, Japan in October 2010. The 13 revised
