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
This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.The 21 papers for oral presentatio
This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009.The 18 revised full papers and 20 revised poster pape
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2009, held in Kuopio, Finland, in April 2009.Th
This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 200
This book constitutes the refereed proceedings of the 8th International Conference on Web-Based Learning, ICWL 2009, held in Aachen, Germany, in August 2009.The 38 revised full papers and 14 short pap
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its a
This book constitutes the refereed proceedings of the 8th International Conference on Electronic Government, EGOV 2009, held in Linz, Austria, in August/September 2008 within the DEXA 2009 conference
This book constitutes the refereed proceedings of the 6th International XML Database Symposium, XSym 2009, held in Lyon, France, in August 2009 in conjunction with the International Conference on Very
This book constitutes the refereed proceedings of the 20th International Conference on Database and Expert Systems Applications, DEXA 2009, held in Linz, Austria, in August/September 2009.The 35 revis
This book constitutes the refereed proceedings of the 13th IMA International Conference on the Mathematics of Surfaces held in York, UK in September 2009.The papers in the present volume include seven
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
This book constitutes the refereed proceedings of the 8th International Workshop, IWDW 2009, held in Guildford, Surrey, UK, August 24-26, 2009.The 25 revised full papers, including 4 poster presentati
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
