Ditemukan 462 dokumen yang sesuai dengan query
Ling, Dong, editor
This book mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing...
Beijing: [Higher Education Press, ], 2012
e20409957
eBooks Universitas Indonesia Library
Nadia Mana, editor
This book constitutes the refereed proceedings of the 5th INNS IAPR TC3 GIRPR International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2012, held in Trento, Italy, in September 2012. The 21 revised full papers presented were carefully reviewed and selected for inclusion in this volume. They cover a...
Berlin: [, Springer-Verlag], 2012
e20409989
eBooks Universitas Indonesia Library
Ben Raphael, editor
This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics, WABI 2012, held in Ljubljana, Slovenia, in September 2012. WABI 2012 is one of six workshops which, along with the European Symposium on Algorithms (ESA), constitute the ALGO annual meeting and focuses on algorithmic advances...
Berlin: [Springer-Verlag, ], 2012
e20410009
eBooks Universitas Indonesia Library
Branislav Rovan, editor
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game...
Berlin: [Springer-Verlag, ], 2012
e20410051
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
JingTao Yao, editor
This book constitutes the refereed proceedings of the 8th International Conference on Rough Sets and Current Trends in Computing, RSCTC, held in Chengdu, China, in August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012. The 55 revised full papers presented together with...
Berlin: [Springer-Verlag, ], 2012
e20410114
eBooks Universitas Indonesia Library
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library
James F. Peters, editor
Volume XV offers a number of research streams that have grown out of the seminal work by Zdzislaw Pawlak. The 4 contributions included in this volume presents a rough set approach in machine learning, the introduction of multi-valued near set theory, the advent of a complete system that supports a...
Berlin: [, Springer-Verlag], 2012
e20410247
eBooks Universitas Indonesia Library
Daniel Lassiter, editor
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as...
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
