Computers 17

This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were……続きを見る

This book constitutes the refereed proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010, held in Waidhofen/Ybbs, Austria, in October 2010. The 21 revised full papers presented together with the abstracts of two invited t……続きを見る

This book constitutes the refereed proceedings of the International Workshops on Service-Oriented Computing, ICSOC/ServiceWave 2009, held in Stockholm, Sweden, in November 2009.The book includes papers of workshops on trends in enterprise architecture research (TEAR 2009), SOA, globalization, peop……続きを見る

This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bah a Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical ……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, held in Bordeaux, France, in July 2010.The 15 full papers and two brief announce……続きを見る

This book constitutes the refereed proceedings of the First International Joint Conference on Ambient Intelligence, AmI 2010, held in M laga, Spain, in November 2010, a merger of the AmI and AmI.D conferences. The 24 revised full papers presented together with 10 short papers and 5 landscape paper……続きを見る

This book constitutes the revised papers of the 15th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2010, which was held in Atlanta, GA, USA, in April 2010.The 12 revised papers presented were carefully reviewed and selected from 18 submissions. The papersshow a……続きを見る

This volume constitutes the proceedings of the Second Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Delft, The Netherlands, on November 11, 2010. PRET acts as a platform to bridge the gap between theory and practice, and strives for synergy and cross-f……続きを見る

This book constitutes the refereed proceedings of the 29th International Conference on Conceptual Modeling, ER 2010, held in Vancouver, BC, Canada, in November 2010.The 32 revised full papers presented were carefully reviewed and selected from 147 submissions. The papers are organized in topical s……続きを見る

This volume constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010.The 13 revised full papers were carefully reviewed and selected from numerous submissions. The papers address topics such as applications;……続きを見る

This book constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010.The 30 revised full papers presented together with 9 revised poster papers in this volume were carefully reviewed and selected. The papers are organized……続きを見る

This book constitutes the proceedings of the 4th International Conference on Advances in Information Technology, IAIT 2010, held in Bangkok, Thailand in November 2010.The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The volume aims to provide a f……続きを見る

This book constitutes the refereed proceedings of the 6th International Conference on Advanced Data Mining and Applications, ADMA 2010, held in Chongqing, China, in November 2010.63 carefully reviewed regular papers and 55 revised short papers were presented. The papers are organized in topical se……続きを見る