Ditemukan 462 dokumen yang sesuai dengan query
Inu Laksito Wibowo, author
Sistem kripto (data encryption) dengan kunci publik, mempunyai keunggulan dalam pengaturan kunci dibanding dengan sistem kripto yang konvensional. Pada sistem kripto konvensional, suatu jaringan komputer dengan n riser dibutuhkan n(n-1)2 kunci, sedangkan pada sistem kripto dengan kunci publik ini hanya dibutuhkan n kunci. Di samping mempunyai keunggulan pada pengaturan kunci,...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1992
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
This book constitutes the refereed proceedings of the Third International Symposium on Information Management in a Changing World, IMCW 2012, held in Ankara, Turkey, in September 2012. The 16 revised full papers presented together with three keynotes were carefully reviewed and selected from more than 30 submissions. The papers are...
Berlin: Springer-Verlag, 2012
e20409393
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 13th International Conference on Passive and Active Measurement, PAM 2012, held in Vienna, Austria, in March 2012. The 25 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers were arranged into eight sessions traffic evolution and analysis,...
Berlin: Springer-Verlag, 2012
e20409963
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 2nd International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2012, held in Santiago, Chile, on October 7-10, 2012. The 17 papers presented together with four invited talks and one student poster session were carefully reviewed and selected from 47 submissions....
Berlin: Springer-Verlag, 2012
e20409970
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20408216
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 16th East-European Conference on Advances in Databases and Information Systems (ADBIS 2012), held in Poznan, Poland, in September 2012. The 32 revised full papers presented were carefully selected and reviewed from 122 submissions. The papers cover a wide spectrum of issues...
Berlin : Springer-Verlag, 2012
e20406365
eBooks Universitas Indonesia Library
Euro-Par 2011 : parallel processing workshops ; CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29–September 2, 2011 : revised selected papers, part II
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12 workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement...
Berlin: Springer-Verlag, 2012
e20410518
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20409844
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 18th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Raesfeld, Germany, in September 2012. The 9 revised papers presented together with 12 short papers were carefully reviewed and selected from numerous submissions. They are grouped into five themes that...
Berlin: Springer-Verlag , 2012
e20406362
eBooks Universitas Indonesia Library
Seidl, Helmut, author
The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In...
Berlin: Springer-Verlag, 2012
e20408703
eBooks Universitas Indonesia Library
