Computers 16

This book constitutes the proceedings of the 33rd Annual German Conference on Advances in Artificial Intelligence, held in Karlsruhe, Germany, in September 2010.続きを見る

This book constitutes the proceedings of the 5th International Symposium on Computational Intelligence and Intelligent Systems held in Wuhan, China, in October 2010.続きを見る

This book constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010.続きを見る

This book contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. LESS 2010 is the first scientific conference dedicated to advance the body of knowledge for lean enterprise software and s……続きを見る

This book constitutes the refereed proceedings of the 11th International Conference on Cryptology in India, INDOCRYPT 2010, held in Hyderabad, India, in December 2010.The 22 revised full papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections o……続きを見る

This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.続きを見る

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The pap……続きを見る

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current ……続きを見る

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010.The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed……続きを見る

This volume constitutes the refereed proceedings of the 4th International Symposium on Sanskrit Computational Linguistics, held in New Delhi, India, in December 2010.The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers can be categorized u……続きを見る

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspec……続きを見る

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010……続きを見る

This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Australia, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in t……続きを見る

This book constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010.続きを見る

This book constitutes the refereed proceedings of the 8th International Conference, ICSOC 2010, held in San Francisco, CA, USA, in December 2010.The 33 revised full papers and three full industry papers, presented together with 18 short papers, three PhD symposium posters and four regular posters,……続きを見る

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.The 12 revised full papers p……続きを見る

This book constitutes the proceedings of the International Conference on Research and Education in Robotics held in La Fert -Bernard, France, in May 2009.続きを見る

This book constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, held in Ascoli Piceno, Italy, in September 2010.The first part of the volume contains 39 revised papers that were carefully reviewed and selected from the m……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2009, held in Beijing, China, in December 2009. The 22 revised full papers and 10 short papers presented were carefully reviewed and select……続きを見る

This book constitutes the refereed proceedings of the FirstInternational Conference on Decision and Game Theory for Security, GameSec 2010, held in Berlin, Germany, in November 2010.The 12 revised full papers and 6 revised short papers presented werecarefully reviewed and selected from numerous su……続きを見る

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer……続きを見る

This volume constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. The 61full papers and 19 short papers presented were carefully reviewed and selected from 141 submissions. The papers are organized i……続きを見る

This book constitutes the refereed proceedings of the 4th International Workshop on Real-World Wireless Sensor Networks, REALWSN 2010, held in Colombo, Sri Lanka, in December 2010.The 11 full papers and the 5 short papers presented were carefully reviewed and selected from 34 submissions. The pape……続きを見る

This book constitutes the refereed proceedings of the First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, held in Chennai, India, in December 2010.The 86 revised full papers presented were carefully reviewed and selected from 225 submissions.続きを見る