Mathematical theory of computation

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.

Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms for specific purposes, such as mobile ad hoc networks, sensor n- works, vehicular networks, underwater networks, underground networks, personal area networks, and home networks.

This book constitutes the proceedings of the nine workshops that were organized in conjunction with the Business Information Systems Conference, BIS 2009, taking place in Poznan, Poland, on April 27-29, 2009.

The International Conference on Computational Processing of Portuguese-PROPOR -is the main event in the area of natural language processing that is focused on Portuguese and the theoretical and technological issues related to this language.

The 2010 International Conference on Life System Modeling and Simulation (LSMS 2010) and the 2010 International Conference on Intelligent Computing for Susta- able Energy and Environment (ICSEE 2010) were formed to bring together resear- ers and practitioners in the fields of life system modeling/simulation and intelligent computing applied to worldwide sustainable energy and environmental applications.

Evolutionary Computation (EC) techniques are e?

History of Computing: Learning from the Past Why is the history of computing important?

The 2009 International Conference on High-Performance Networking, Computing and Communication Systems and the 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science (ICHCC -ICTMF 2009) were held during December 13-14, 2009, in Sanya, Hainan Island, China.

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology.

As more and more hardware platforms support parallelism, parallel programming is gaining momentum.

This volume contains the proceedings of the Third International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and the Cloud (SVM 2009) held in Wuhan, China, during September 22-23, 2009.

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2009, held in Waterloo, Canada, in May 2009.

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others.

With high hopes that the worst of the financial crisis is now behind us, our efforts looking forward must be more vigilant.

This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009.

This edition marks the tenth Middleware conference.

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.

This book constitutes the refereed proceedings of the 4th Australian Conference on Artificial Life, ACAL 2009, held in Melbourne, Australia, in December 2009.

This book constitutes the refereed proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, AI 2009, held in Melbourne, Australia, in December 2009.

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 December 2009.

This volume contains the proceedings of the 11th International Conference on Veri?

This volume contains the 16 papers presented at the INTRUST 2009 conf- ence, held in Beijing, China in December 2009.

This book constitutes the refereed proceedings of the 11th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2009, held in Reggio Emilia, Italy, in December 2009.

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others.

The 10th International Workshop on Information Security Applications (WISA 2009) was held in Busan, Korea during August 25-27, 2009.

ICISC 2009, the 12th International Conference on Information Security and Cryptology, was held in Seoul, Korea, during December 2-4, 2009.

This book constitutes the refereed proceedings of the 12th IMA International Conference on Cryptography and Coding, held in Cirencester, UK in December 2009.

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Meeting on DNA Computing, DNA15, held in Fayetteville, AR, USA, in June 2009.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the design of e?

In view of the incessant growth of data and knowledge and the continued diversifi- tion of information dissemination on a global scale, scalability has become a ma- stream research area in computer science and information systems.

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.

As software engineering (SE) becomes specialized and fragmented, it is easy to lose sight that many topics in SE have common threads and because of this, advances in one sub-discipline may transmit to another.

This book constitutes the refereed proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2009, held in Delhi, India in December 2009 in conjunction with the Third International Conference on Pattern Recognition and Machine Intelligence, PReMI 2009.

This book constitutes the revised selected papers of the 20th International Workshop on Combinatorial Algorithms, held in June/July 2009 in the castle of Hradec nad Moravici, Czech Republic.

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shanghai, China, June 6-9, 2010.

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shanghai, China, June 6-9, 2010.

This book constitutes the refereed proceedings of two joint events - the International Workshop on Software Measurement, IWSM 2009 and the International Conference on Software Process and Product Measurement, Mensura 2009, held in Amsterdam, The Netherlands, in November 2009.