This book constitutes the proceedings of the Third International Conference of the CLEF Initiative, CLEF 2012, held in Rome, Italy, in September 2012. The 14 papers and 3 poster abstracts presented we
Control analysis and design of large nuclear reactors requires a suitable mathematical model representing the steady state and dynamic behavior of the reactor with reasonable accuracy. This task is, h
This book constitutes the proceedings of the 4th workshop on Business Process Model and Notation, BPMN 2012, held in Vienna, Austria, in September 2012.The BPMN workshop series provides a forum for ac
This book constitutes the refereed proceedings of the 7th International Conference on Geographic Information Science, GIScience 2012, held in Columbus, OH, USA in September 2012. The 26 full papers pr
Constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012.
Frequency Domain Criteria for Absolute Stability focuses on recently-developed methods of delay-integral-quadratic constraints to provide criteria for absolute stability of nonlinear control systems.
Disasters like floods, hurricanes, chemical or nuclear accidents may cause the necessity to evacuate the affected area. The evacuation of the urban area needs to be planned carefully. One issue is the
This book constitutes the joint refereed proceedings of the 12 International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN, and the 5th Conference on Intern
This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjun
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Advances in Computer Games Conference, ACG 2011, held in Tilburg, The Netherlands, in November 2011. The 29 revise
This book constitutes the refereed proceedings of the 9th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2012, held in Osaka, Japan, in September 2012. The 36 rev
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers pr
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdansk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems
This book contains the refereed proceedings of the Third Scandinavian Conference on Information Systems (SCIS), held in Sigtuna, Sweden, in August 2012.The digitization of modern society’s information
This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in London and
This book constitutes the refereed proceedings of the 4th Mexican Conference on Pattern Recognition, MCPR 2012, held in Huatulco, Mexico, in June 2012. The 31 revised full papers and 3 keynotes presen
This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28 full papers presented
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised
This book contains the refereed proceedings of the 13th International Conference on Business Process Modeling, Development and Support (BPMDS 2012) and the 17th International Conference on Exploring M
This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with t
This book contains the refereed proceedings of the Third International Conference on Software Business (ICSOB) held in Cambridge, MA, USA, in June 2012. The software business refers to commercial acti
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisC
This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2012, held in New Rochelle, NY, USA, in May/June 20
This book contains the refereed proceedings of the 15th International Conference on Business Information Systems, BIS 2012, held in Vilnius, Lithuania, in May 2012.The 26 revised full papers were care
This book contains substantially extended and revised versions of the best papers from the 13th International Conference on Enterprise Information Systems (ICEIS 2011), held in Beijing, China, June 8-
This volume constitutes the proceedings of the 4th Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Gdansk, Poland, on June 27, 2012, as the industrial track
This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmo, Sweden, in May 2011.In the last decade, we have seen agile and l
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012.
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 ful
This book addresses patient-specific modeling. It integrates computational modeling, experimental procedures, imagine clinical segmentation and mesh generation with the finite element method (FEM) to
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated C
The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federa
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011
This book constitutes the proceedings of the CAiSE Forum from the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011), held in London, UK, June 2011.The CAiSE 2011 F
This book is devoted to analysis and design on delta operator systems. When sampling is fast, a dynamical system will become difficult to control, which can be seen in wide real world applications. De
Recently, several applications, primarily driven by microtechnology, have emerged where the use of materials with tailored electromagnetic (dielectric) properties are necessary for a successful ov
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were
This book constitutes thoroughly refereed post-conference proceedings ofthe workshops of the 17th International Conference on ParallelComputing, Euro-Par 2011, held in Bordeaux, France, in August 2011
This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in Ap
The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty years. Analysis of thermo-hydro-mechanical-chemical (THMC) processes is essential to
