Ditemukan 204 dokumen yang sesuai dengan query
Edmund Clarke, editor
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions....
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks Universitas Indonesia Library
Kuipers, Fernando A., editor
This book constitutes the refereed proceedings of the 6th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2012, held in Delft, The Netherlands, in March 2012. The 5 revised full papers and 5 short papers presented together with 2 invited papers were carefully selected from 25 full paper and...
Heidelberg: [Springer, ], 2012
e20409965
eBooks Universitas Indonesia Library
Marielle Stoelinga, editor
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...
Berlin: [, Springer-Verlag ], 2012
e20410082
eBooks Universitas Indonesia Library
Tilley, Scott, author
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...
Heidelberg: [Springer, ], 2012
e20410112
eBooks Universitas Indonesia Library
Xinbing Wang, editor
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...
Berlin: [, Springer-Verlag], 2012
e20410152
eBooks Universitas Indonesia Library
Marco Brambilla, editor
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...
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks Universitas Indonesia Library
Nikolaj Bjorne, editor
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....
Berlin: [, Springer-Verlag], 2012
e20410284
eBooks Universitas Indonesia Library
Rahul Jain, editor
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...
Heidelberg: [Springer, ], 2012
e20410308
eBooks Universitas Indonesia Library
Keller, Rainer, editor
This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment. The papers cover issues of current research in mathematical modeling, design of parallel algorithms, aspects of microprocessor architecture, parallel programming languages, hardware-aware computing, heterogeneous platforms,...
Berlin: [, Springer-Verlag], 2012
e20410364
eBooks Universitas Indonesia Library
Christian Stary, editor
This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in April 2012. The 12 papers were carefully reviewed and selected from 36 submissions and are completed by one invited keynote paper and a summary...
Berlin: Springer-Verlag, 2012
e20410376
eBooks Universitas Indonesia Library
