th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.
This book contains refereed and improved papers presented at the 8th IAPR Workshop on Graphics Recognition (GREC 2009), held in La Rochelle, France, July 22-23, 2009.
We are living in a world full of innovations for the elderly and people with special needs to use smart assistive technologies and smart homes to more easily perform activities of daily living, to continue in social participation, to engage in entertainment and leisure activities, and to enjoy living independently.
This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009.
This book constitutes the refereed proceedings of the 15th International Conference on Image Analysis and Processing, ICIAP 2009, held in Vietri sul Mare, Italy, in September 2009.
These proceedings contain papers from the 2009 Workshop on Algorithms in Bioinformatics (WABI), held at the University of Pennsylvania in Philadelphia, Pennsylvania during September 12-13, 2009.
This textbook is intended for SPI (software process improvement) managers and - searchers, quality managers, and experienced project and research managers.
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.
The Second International Workshop on Computational Intelligence for Security in Information Systems (CISIS'09) presented the most recent developments in the - namically expanding realm of several fields such as Data Mining and Intelligence, Infrastructure Protection, Network Security, Biometry and Industrial Perspectives.
This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009).
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009.
This book constitutes the refereed proceedings of the 11th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2009, held in Bordeaux, France in September/October 2009.
This book constitutes the refereed proceedings of the 4th International Workshop on Haptic and Audio Interaction Design, HAID 2009 held in Dresden, Germany in September 2009.
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Entertainment Computing, ICEC 2009, held in Paris, France, in September 2009, under the auspices of IFIP.
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.
rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007.
It is a great pleasure to share with you the Springer LNCS proceedings of the Second World Summit on the Knowledge Society, WSKS 2009, organized by the Open - search Society, Ngo, http://www.
This volume contains the papers presented at 6th Conference on Geometric Modeling and Processing (GMP 2010) held in Castro Urdiales, Spain during June16-18,2010.
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009.
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.
It is our great pleasure to present the proceedings of the symposia and workshops on parallel and distributed computing and applications associated with the ICA3PP 2010 conference.
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 book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009.
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.
On behalf of KES International and the KES 2009 Organising Committee we are very pleased to present these volumes, the proceedings of the 13th Inter- tional Conference on Knowledge-Based Intelligent Information and Engineering Systems, held at the Faculty of Physical Sciences and Mathematics, University of Chile, in Santiago de Chile.
The annual International Conference on Access Networks (AccessNets) aims to provide a forum that brings together researchers and scientists from academia as well as man- ers and engineers from industry to meet and exchange ideas and recent work on all aspects of access networks.
The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and new research trends in wireless and mobile networks.
It is our great pleasure to welcome you to the proceedings of the 10th annual event of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP).
