This book constitutes the proceedings of the 10th International Conference on Parallel Computing Technologies, PaCT 2009, held in Novosibirsk, Russia on August 31-September 4, 2009. The 34 full papers presented together with 2 invited papers and 7 poster papers were carefully re…
by International Conference on Life System Modeling and Simulation, Wuxi, China), Li, Kang, (Computer scientist), International Conference on Intelligent Computing for Sustainable Energy and Environment
fromLecture Notes in Computer Science
Annotation
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. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully revie…
Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ect…
Reihentext: GOR The German Society of Operations Research - and its members provide numerous significant contributions to Operations Research/Management Science, with respect to both theory and practice. In order to demonstrate the high standards of these contributions and to ma…
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses …
This book constitutes the proceedings of the First International Conference on Computational Intelligence and Information Technology, CIIT 2011, held in Pune, India, in November 2011. The 58 revised full papers, 67 revised short papers, and 32 poster papers presented were carefu…
Annotation
This book constitutes the refereed proceedings of the 21 International Conference on Database and Expert Systems Applications, DEXA 2010, held in Bilbao, Spain, August 30-September 3, 2010. The 45 revised full papers and 36 short papers were carefully reviewed and selected from1…
Annotation
Annotation
Following the very successful Motion in Games events in 2008 and 2009, we organized the Third International Conference on Motion in Games from 14–16 November 2010, in Utrecht, The Netherlands. Games have become a very important medium for both education and - tertainment. Moti…
Annotation
by Cremers, Daniel, International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR, Bonn, Germany)
fromLecture Notes in Computer Science
by Philips, Wilfried, International Conference on Computer Vision/Computer Collaboration Techniques, MIRAGE, Rocquencourt, France), Gagalowicz, A., (Andre)
fromLecture Notes in Computer Science
