This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, org
This book constitutes the thoroughly reviewed post-proceeding of International Workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2012, held in Valencia, Spai
The book contains invited lectures from the International Symposium on the Anisotropic Behaviour of Damaged Materials, held in Krakow, Poland, September 9-11, 2002. Eminent researchers and world exper
This book contains the thoroughly refereed and revised best papers from the 8th International Conference on Web Information Systems and Technologies, WEBIST 2012, held in Porto, Portugal, in April 201
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Graphics Recognition (GREC 2011), held in Seoul, Korea, September 15-16, 2011. The 25 rev
This book constitutes the proceedings of the 6th International IFIP Working Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2012), held in Ghent, Belgium, durin
This book constitutes the thoroughly refereed conference proceedings of the 9th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2013, held in Los Angele
This book constitutes the refereed post-proceedings of the 9th European Performance Engineering Workshop, EPEW 2012, held in Munich, Germany, and the 28th UK Performance Engineering Workshop, UKPEW 20
Vehicles are complex systems (non-linear, multi-variable) where the abundance of embedded controllers should ensure better security. This book aims at emphasizing the interest and potential of Linear
One of the main aims of management accounting is to provide managers with accurate information in order to provide a good basis for decision-making. There is evidence that the information provided by
This book constitutes the refereed proceedings of the 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, held in Oldenburg, Germany, in Februar
The research domains information retrieval and information visualization have always been independent from each other. However, they have the potential to be mutually beneficial. With this in mind, a
The numerical treatment of partial differential equations with particle methods and meshfree discretization techniques is an extremely active research field, both in the mathematics and engineering co
Here is a concise and comprehensive introduction to business intelligence (BI). This book combines traditional BI technologies with new topics such as business semantics, Big Data analysis, and multic
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future g
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 rev
Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13
This book constitutes the refereed proceedings of the 5th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2013. This professional symposium and conference offers a range of
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full p
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and
Service science constitutes an interdisciplinary approach to systematic innovation in service systems, integrating managerial, social, legal, and engineering aspects to address the theoretical and pra
This book constitutes the thoroughly refereed proceedings of the 16th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2012, which was held in Shanghai, China, in May
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 paper
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities,
This book covers the new topic of GPU computing with many applications involved, taken from diverse fields such as networking, seismology, fluid mechanics, nano-materials, data-mining , earthquakes ,m
The two-volume set LNCS 7732 and 7733 constitutes the thoroughly refereed proceedings of the 19th International Conference on Multimedia Modeling, MMM 2012, held in Huangshan, China, in January 2013.
The two-volume set LNCS 7732 and 7733 constitutes the thoroughly refereed proceedings of the 19th International Conference on Multimedia Modeling, MMM 2012, held in Huangshan, China, in January 2013.
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-l
This volume contains ten thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally pre
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th Interna
This book reviews current trends and offers guidance for further research, from a common ground bringing together disciplines and practice, knowledge, experiences, plans and ideas for improving LBS an
This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems
The class of interest rate models introduced by O. Cheyette in 1994 is a subclass of the general HJM framework with a time dependent volatility parameterization. This book addresses the above mentione
This application-driven primer for students and non-specialists has been course-tested at graduate level and explains how to use the spectral method to tackle the issues encountered in modeling fluid
This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, held in Bhubaneswar, India, in February 2013. The 40 f
Tearing and interconnecting methods, such as FETI, FETI-DP, BETI, etc., are among the most successful domain decomposition solvers for partial differential equations. The purpose of this book is to gi
In recent years flows in networks have attracted the interest of many researchers from different areas, e.g. applied mathematicians, engineers, physicists, economists. The main reason for this ubiquit
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena
