This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013.
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.
This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012.
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, in June 2013.
This book contains the refereed proceedings of the 14th International Conference on Business Process Modeling, Development and Support (BPMDS 2013) and the 18th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2013), held together with the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) in Valencia, Spain, in June 2013.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012.
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.
This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011.
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 2012.
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011.
This book constitutes the thoroughly refereed post-workshop proceedings and the doctoral symposium of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012.
This book constitutes the refereed post-proceedings of the 9th IFIP International Conference on Network and Parallel Computing, NPC 2012, held in Gwangju, Korea, in September 2012.
This book comprises the refereed proceedings of the two International Conference on Green and Smart Technology, GST 2012, and on Sensor and Its Applications, SIA 2012, held in Jeju Island, Korea, in November/December 2012.
This book comprises the refereed proceedings of the International Conferences, MAS and ASNT 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012.
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012.
The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012.
The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012.
This book constitutes the refereed proceedings of the 5th International Conference on Internet and Distributed Computing Systems, IDCS 2012, held in Wuyishan, Fujian, China, in November 2012.
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
The two-volume set LNCS 7565 and 7566 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2012), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2012), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2012) held as part of OTM 2012 in September 2012 in Rome, Italy.
The two-volume set LNCS 7565 and 7566 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2012), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2012), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2012) held as part of OTM 2012 in September 2012 in Rome, Italy.
This book contains 13 carefully revised and selected papers from the 6th Workshop on Global Sourcing, held in Courchevel, France, during March 12-15, 2012.
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012.
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012.
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012.
This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012.
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
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 Modeling Methods for Systems Analysis and Design (EMMSAD 2012), held together with the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) in Gdansk, Poland, in June 2012.
This book constitutes the refereed proceedings of the 10th International Conference on Wired / Wireless Internet Communications, WWIC, held in Santorini island, Greece during June 6-8, 2012.
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2010, held in Valencia, Spain, in October 2010.
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.
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 refereed proceedings of the 25th International Conference on Architecture of Computing Systems, ARCS 2012, held in Munich, Germany, in February/March 2012.
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011.
This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011.
The two volume set, CCIS 262 and 263, constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011.
The two volume set, CCIS 262 and 263, constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011.
This book constitutes the refereed proceedings of the International Conference, GDC 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, in December 2011.
This book comprises selected papers of the Third International Conference on Future Generation Information Technology, FGIT 2011, held in Jeju Island, Korea, in December 2011.
This book constitutes the refereed proceedings of the 15th International Conference on Principles of Distributed Systems, OPODIS 2011, held in Toulouse, France, in December 2011.
