Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 202 dokumen yang sesuai dengan query
cover
Abstrak :
This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2012, held in Kuching, Sarawak, Malaysia, in September 2012. The conference was collocated with the 12th Pacific Rim International Conference on Artificial Intelligence, PRICAI. The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on foundations, auctions and negotiation, coalition formation and teamwork, norms and institutions, and applications.
Berlin: Springer-Verlag, 2012
e20410034
eBooks  Universitas Indonesia Library
cover
Abstrak :
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Berlin: Springer-Verlag , 2012
e20410082
eBooks  Universitas Indonesia Library
cover
Tilley, Scott
Abstrak :
Cloud computing offers the use of virtualized hardware, effectively unlimited storage, and software services that can help reduce the execution time of large test suites in a cost-effective manner. The research presented by Tilley and Parveen leverages the resources provided by cloud computing infrastructure to facilitate the concurrent execution of test cases. They introduce a decision framework called SMART-T to support migration of software testing to the cloud, a distributed environment called HadoopUnit for the concurrent execution of test cases in the cloud, and a series of case studies illustrating the use of the framework and the environment. Experimental results indicate a significant reduction in test execution time is possible when compared with a typical sequential environment.
Heidelberg: [Springer, ], 2012
e20410112
eBooks  Universitas Indonesia Library
cover
Xinbing Wang, editor
Abstrak :
This book constitutes the refereed proceedings of the 7th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2012, held in Yellow Mountains, China, in August 2012. The 24 revised full papers presented together with 32 invited papers were carefully reviewed and selected from 116 submissions. The papers cover a wide range of topics such as cognitive radio networks, cyber-physical network systems, mobile handset networking systems, underwater and radar wireless networks, and wireless and mobile security.
Berlin: [, Springer-Verlag], 2012
e20410152
eBooks  Universitas Indonesia Library
cover
Marco Brambilla, editor
Abstrak :
This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks and collaboration, tagging, personalization and personal systems, search, Web modeling, AJAX and user interfaces, Web services, Web crawling, and Web and linked data management. The book also includes 6 poster papers, 12 demos and 5 tutorials.
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the proceedings of the 9th International Workshop on Programming Multi-Agent Systems held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of agent programming languages, multi-agent oriented programming, model checking, and papers of the participants of the multi-agent programming contest.
Berlin: Springer-Verlag, 2012
e20410181
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.
Berlin: Springer-Verlag, 2012
e20410261
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012. The 20 revised full papers presented together with 42 revised poster papers, 1 keynote lecture, and 2 overview papers for the regular, as well as for the special session were carefully reviewed and selected from numerous submissions. Topics addressed are ranging from theoretical issues such as causality analysis and measures, through novel methods for employing the well-established concepts of sparsity and non-negativity for matrix and tensor factorization, down to a variety of related applications ranging from audio and biomedical signals to precipitation analysis.
Berlin: Springer-Verlag, 2012
e20410263
eBooks  Universitas Indonesia Library
cover
Nikolaj Bjorne, editor
Abstrak :
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.
Berlin: [, Springer-Verlag], 2012
e20410284
eBooks  Universitas Indonesia Library
cover
Rahul Jain, editor
Abstrak :
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Game Theory for Networks (GameNets 2011) held in Shanghai, China, April 16-18, 2011. The 45 revised full papers presented were carefully selected from numerous submissions and focus topics such as mechanism design, physical layer games, network mechanisms, stochastic and dynamic games, game-theoretic network models, cooperative games in networks, security games, spectrum sharing games, P2P and social networks and economics of network QoS.
Heidelberg: [Springer, ], 2012
e20410308
eBooks  Universitas Indonesia Library