Computer Science

The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the ...

This book contains the proceedings of the 6th International Workshop on OpenMP held in Tsukuba City, Japan, in June 2010. The International Wo- sho...

This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNL...

Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010),heldduringAugust11-13,2010 at Wu...

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2...

This book contains the papers of the 12th Advances in Computer Games C- ference (ACG 2009) held in Pamplona, Spain. The conference took place durin...

While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the d...

This volume is the ?fth in a series that started in 2005, collecting papers from the Coordination, Organizations, Institutions and Norms (COIN) Wor...

The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, duri...

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hoste...

th The 5 International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010) has become a unique, established and broad interdisciplinar...

The European Summer School in Logic, Language and Information (ESSLLI) takes place every year, each time at a di?erent location in Europe. With its...

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

It is our great pleasure to present the proceedings of the second RussiaTaiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). ...

This volume contains the papers presented at the International GI/ITG C- ference on Measurement, Modelling and Evaluation of Computing Systems and ...

The portable device and mobile phone market has witnessed rapid growth in the last few years with the emergence of several revolutionary products s...

These proceedings are a record of the Multiple Classi?er Systems Workshop, MCS 2010, held at the Nile University, Egypt in April 2010. Being the ni...

Computer Music Modeling and Retrieval 2009 was the sixth event of this - ternational conference series that was initiated in 2003. Since the start,...

Metaheuristicscontinuetodemonstratetheire?ectivenessforanever-broadening range of di?cult combinatorial optimization problems appearing in a wide -...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establ...

th Welcome to the proceedings of the 8 International Conference on Pervasive Computing (Pervasive 2010). After Toronto, Sydney and Nara, the confer...

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. T...