Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2012, held in New Rochelle, NY, USA, in May/June 2012. The event was co-organized by the AMSE Association and Iona College. The 27 full papers in this book were carefully reviewed and selected from 78 submissions. In addition to these papers a summary of the plenary presentation given by Ronald R. Yager is also included. The book mainly focuses on the field of intelligent systems and its application to economics and business administration. Some papers have a stronger orientation towards modeling and simulation in these fields."

"This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems."

"This book constitutes the refereed proceedings of the 5th International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction, held in College Park, MD, USA, in April 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. The papers cover a wide range of topics including economics, public health, and terrorist activities, as well as utilize a broad variety of methodologies, e.g., machine learning, cultural modeling and cognitive modeling."

"This book constitutes the refereed proceedings of the Third International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2012, held in Tsukuba, Japan, in November 2012. The 33 revised full papers and presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. Ten papers describe design of complex behaviors of autonomous robots, 9 address software layers, 8 papers refer to related modeling and learning. The papers are organized in topical sections on mobile robots, software modeling and architecture and humanoid and biped robots."

"This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries."

"The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition."

"This book constitutes the proceedings of the Second Enterprise Engineering Working Conference (EEWC), held in Delft, The Netherlands, during May 7-8, 2012. EEWC aims at addressing the challenges that modern and complex enterprises are facing in a rapidly changing world. The participants of the working conference share a belief that dealing with these challenges requires rigorous and scientific solutions, focusing on the design and engineering of enterprises. The goal of EEWC is to stimulate interaction between the different stakeholders, scientists as well as practitioners, interested in making enterprise engineering a reality. The eight papers presented were carefully reviewed and selected for inclusion in the book. EEWC 2012 had 20 submissions and accepted eight for publication. The topics of the presented papers allowed for active participation in interesting discussions and exchange of ideas and stimulated future cooperation among the participants. This made EEWC a real ‘working conference’ contributing to the further development of enterprise engineering as a mature discipline. Topics covered include: foundations of enterprise engineering; enterprise control, flexibility and governance and specifying value."

"This book constitutes the refereed proceedings of the 7th International Conference on Design Science Research in Information Systems and Technology, DERIST 2012, held in Las Vegas, NV, USA, in May 2012. The 24 revised full papers presented together with 7 revised short papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on DSRIS in practice, DSRIS methodologies and techniques, social and environmental aspects of DSRIS, theory and theory building in DSRIS, and evaluation of DSRIS projects."

"This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2012.The topics covered include general aspects of agility, agile teams, studies related to the release and maintenance of software, and research on specific practices in agile and lean software development. They are complemented by four short papers capturing additional aspects of agile and lean projects."

"This book constitutes the refereed proceedings of the 5th International Conference on Multimedia Communications, Services and Security, MCSS 2012, held in Krakow, Poland, in May/June 2012. The 37 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address issues such as privacy and data protection using digital watermarking and other technologies; object and threat detection; data protection and distribution; human-centric multimedia analysis and synthesis; cybercrime detection and counteracting."