This book comprises selected papers of the International Conferences, CA and CES3 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 thoroughly refereed post-conference proceedings of the Second International Workshop on Complex Networks, CompleNet 2010, which was held in Rio de Janeiro, Brazil, in October 2010.
The two-volume set LNCS 7044 and 7045 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2011), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2011), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2011) held as part of OTM 2011 in October 2011 in Hersonissos on the island of Crete, Greece.
The two-volume set LNCS 7044 and 7045 constitutes the refereed proceedings of three confederated international conferences: Cooperative Information Systems (CoopIS 2011), Distributed Objects and Applications - Secure Virtual Infrastructures (DOA-SVI 2011), and Ontologies, DataBases and Applications of SEmantics (ODBASE 2011) held as part of OTM 2011 in October 2011 in Hersonissos on the island of Crete, Greece.
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice.
This book constitutes the refereed proceedings of the 9th International Conference on Service-Oriented Computing, ICSOC 2011, held in Paphos, Cyprus, in December 2011.
This book constitutes the refereed proceedings of the 8th IFIP International Conference on Network and Parallel Computing, NPC 2011, held in Changsha, China, in October 2011.
This book constitutes the thoroughly refereed post-conferenceproceedings of the 22nd International Symposium on Implementation andApplications of Functional Languages, IFL 2010, held in Alphen aan denRijn, The Netherlands, in September 2010.
This book constitutes, together with LNCS 6987 and LNCS 6988, the refereed proceedings of the International Conference on Web Information Systems and Mining, WISM 2011, held in Taiyuan, China, in September 2011.
This volume constitutes the refereed proceedings of the Third International Conference on Advanced Science and Technology, AST 2011, held in Seoul, South Korea, in September 2011.
This book constitutes the refereed proceedings of the Second International Conference on Computational Logistics, ICCL 2011, held in Hamburg, Germany, in September 2011.
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This three-volume proceedings contains revised selected papers from the Second International Conference on Artificial Intelligence and Computational Intelligence, AICI 2011, held in Taiyuan, China, in September 2011.
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011.
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011.
This two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the International Conference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011.
This book constitutes the refereed proceedings of the 8th FIRA International Conference on Secure and Trust Computing, Data Management, and Applications, STA 2011, held in Loutraki, Greece, in June 2011.
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011.
This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2011), held together with the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011) in London, UK, in June 2011.
This book constitutes the refereed proceedings of the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, held in London, UK, in June 2011.
This book contains the refereed proceedings of the Second International Conference on Exploring Services Science (IESS) that was held in Geneva, Switzerland, in February 2010.
This book constitutes the thoroughly reviewed joint postprocessings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2010, held in Toronto, Canada in May 2010 and COIN@MALLOW 2010, held in Lyon, France in August 2010.
This book contains the refereed proceedings of the 12th International Conference on Agile Software Development, XP 2011, held in Madrid, Spain, in May 2011.
This book constitutes the refereed proceedings of the SecondInternational Conference on Advances in Power Electronics andInstrumentation Engineering, PEIE 2011, held at Nagpur, India, in April2011.
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011.
This book constitutes the refereed proceedings of the 8th European Conference on Wireless Sensor Networks, EWSN 2011, held in Bonn, Germany, in February 2011.
This book constitutes the refereed proceedings of the 5th InternationalWorkshop on Self-Organizing Systems, IWSOS 2011, held in Karlsruhe,Germany, in February 2011.
This book constitutes the thoroughly refereed post-conferenceproceedings of the First International Joint Conference on KnowledgeDiscovery, Knowledge Engineering, and Knowledge Management, IC3K 2009,held in Funchal, Madeira, Portugal, in October 2009.
The two-volume set LNCS 6496 and 6497 constitutes the refereed proceedings of the 9th International Semantic Web Conference, ISWC 2010, held in Shanghai, China, during November 7-11, 2010.
This book constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010.
Welcome to the Proceedings of the 2010 International Conference on Advanced Software Engineering and Its Applications (ASEA 2010) - one of the partnering events of the Second International Mega-Conference on Future Generation Information Technology (FGIT 2010).
It is with great pleasure that we present the proceedings of the 6th Inter- tional, Symposium on Visual Computing (ISVC 2010), which was held in Las Vegas, Nevada.
This book constitutes the refereed proceedings of workshops, held at the 29th International Conference on Conceptual Modeling, ER 2010, in Vancouver, Canada, in November 2010.
This book contains the best papers of the International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2010, organized by the Association of Computer Electronics and Electrical Engineers (ACEEE), during September 7-9, 2010 in Kochi, Kerala, India.
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.
