This book constitutes the refereed proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2009, held in Newport Beach, CA,
This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009.The 7 revised full papers and 3 revised short papers p
This book constitutes the refereed proceedings of the Second International Conference on Interactive Digital Storytelling, ICIDS 2009, held in Guimaraes, Portugal, in December 2009.The 19 full papers,
This book constitutes the refereed proceedings of the 4th International Workshop on Self-Organizing Systems, IWSOS 2009, held in Zurich, Switzerland, in December 2009.The 14 revised full papers and 13
This book constitutes the refereed proceedings of the 8th International Conference on Cryptology and Network Security, CANS 2009, held in Kanazawa, Japan, in December 2009.The 32 revised full papers p
This book constitutes the proceedings of the 10th Pacific Rim Conference on Multimedia, held in Bangkok, Thailand during December 15-18, 2009.The papers presented in the volume were carefully reviewed
This book constitutes the refereed proceedings of the 9th International Symposium on Web and Wirelsss Geographical Information Systems, W2GIS 2009, held in Maynooth, Ireland, in December 2009. The 12
The two volumes LNCS 5863 and 5864 constitute the proceedings of the 16th International Conference on Neural Information Processing, ICONIP 2009, held in Bangkok, Thailand, in December 2009. The 145 r
This book constitutes the refereed proceedings of the 5th International Conference on Information Systems Security, ICISS 2009, held in Kolkata, India, in December 2009.The 17 revised full papers and
This book constitutes the refereed proceedings of the 11th International Conference on Information and Communications Security, ICICS 2009, held in Beijing, China, in December 2009.The 37 revised full
This book constitutes the refereed proceedings of the 15th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2009, held in Tokyo, Japan, in Decem
This book constitutes the proceedings of the 7th Joint International Conference on Service-Oriented Computing, ICSOC-ServiceWave 2009, held in Stockholm, Sweden, in November 2009. The 54 contributions
This book constitutes the reviewed proceedings of the first Conference on Future Generation Information Technology, FGIT 2009, held in Jeju Island, Korea, December 10-12, 2009.The 33 full papers prese
The two volume set LNCS 5875 and LNCS 5876 constitutes the refereed proceedings of the 5th International Symposium on Visual Computing, ISVC 2009, held in Las Vegas, NV, USA, in November/December 2009
This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Novemb
This book constitutes the refereed proceedings of the Third European Conference on Ambient Intelligence, AmI 2009, held in Salzburg, Austria, in November 2009.The 21 revised full papers and 10 short p
The two volume set LNCS 5875 and LNCS 5876 constitutes the refereed proceedings of the 5th International Symposium on Visual Computing, ISVC 2009, held in Las Vegas, NV, USA, in November/December 2009
This book constitutes the proceedings of the Second International Workshop on Motion in Games, held in Zeist, The Netherlands, in November 2009. The 23 papers presented in this volume were carefully r
This two-volume set LNCS 5870/5871 constitutes the refereed proceedings of the four confederated international conferences on Cooperative Information Systems (CoopIS 2009), Distributed Objects and App
This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009.The 21 f
This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009. T
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009.The 19 revised full
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised
This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009.The 19 revised full papers and t
Volumes CCIS 51 and LNCS 5812 constitute the proceedings of the Fourth Interational Symposium on Intelligence Computation and Applications, ISICA 2009, held in Huangshi, China, during October 23-25.IS
This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009.The 15 revi
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches
This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in Februa
This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smokovec, High Tatras, Slovakia, in August 2
This book constitutes the refereed proceedings of the 12th International Symposium on Recent Advances in Intrusion Detection, RAID 2009, held in Saint-Malo, Brittany, France, in September 2009.The 17
This book constitutes the refereed proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Hamburg, Germany, in September 2009.The 25 ful
The objective of this state-of-the-art survey is to give a coherentoverview of the main topics and results achieved by the Network of Excellence REWERSE on "Reasoning on the Web", funded by the Europe
This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference
This book constitutes the refereed proceedings of the bienially held International Conference on Computer Analysis of Images and Patterns, CAIP 2009, which took place in Munster, Germany, September 2-
This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009.The 28 full papers were caryfully sel
This book constitutes the thoroughly refereed post-conference proceedings of the first International Workshop on Quality of Context, QuaCon 2009, held in Stuttgart, Germany, in June 2009.The 11 revise
This book constitutes the refereed proceedings of the 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, held in Nice, France in September/October 2009.The 35 revised full papers, 1
This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009.The 29 revised full papes presented
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.The book presents the fol
