Computer Programming / Software Development

Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encom...

It is indeed a great pleasure to welcome you to the proceedings of the Inter- tional Symposium Computational Modeling of Objects Represented in Ima...

Theneedforintelligentsystemstechnologyinsolvingreal-lifeproblemshasbeen consistently growing. In order to address this need, researchers in the ?el...

Arti?cial intelligence (AI) is a dynamic ?eld that is constantly expanding into new application areas, discovering new research challenges, and fac...

Thisvolumecontainsthepapersselectedforpresentationatthe7thInternational Conference on Rough Sets and Current Trends in Computing (RSCTC 2010) held ...

In the medical ?eld, personalmedical feature data,especially digitalimages,can be referred to as medical biometrics. Such data are produced in ever...

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspects of parallel and distributed com...

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which w...

Parallel Computing is at the verge of a new era. Multi-core processors make parallel computing a fundamental skill required by all computer scienti...

The13thInternationalConferenceonMedicalImageComputingandComputer- Assisted Intervention, MICCAI 2010, was held in Beijing, China from 20-24 Septemb...

The13thInternationalConferenceonMedicalImageComputingandComputer- Assisted Intervention, MICCAI 2010, was held in Beijing, China from 20-24 Septemb...

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, ...

This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6-8...

We are very pleased to present to you this LNCS volume, the proceedings of the 11th International Conference on Parallel Problem Solving from Natur...

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 2324,...

Resource discovery is the process of identifying and locating existing resources thathavea particularproperty. Aresourcecorrespondsto aninformation...

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retre...

Theidea ofa refereedconferencefor the mathematicalprogrammingcommunity was proposed by Ravi Kannan and William Pulleyblank to the Mathematical Prog...

The 7th International Conference on Large-Scale Scienti?c Computations (LSSC 2009) was held in Sozopol, Bulgaria, June 4-8, 2009. The conference wa...

The13thInternationalConferenceonMedicalImageComputingandComputer- Assisted Intervention, MICCAI 2010, was held in Beijing, China from 20-24 Septemb...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

Evolutionary computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to the...

It givesus greatpleasureto presentthe proceedings of the 9th Asian Conference on Computer Vision (ACCV 2009), held in Xian, China, in September 200...

These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during S...