Ditemukan 336 dokumen yang sesuai dengan query
Ndaru Nuswantari, author
[ABSTRAK
Badan Pusat Statistik merupakan lembaga pemerintah non kementrian yang bertugas untuk menyediakan data dan informasi statistik yang berkualitas Salah satu caranya adalah dengan menjamin tahapan pengolahan berjalan baik Untuk menjamin tahapan pengolahan berjalan dengan baik proyek pengembangan perangkat lunak diharapkan tepat waktu dengan produk perangkat lunak yang memiliki minimal failure...
2015
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
Selama ini para mahasiswa mengalami kesulitan dalam melakukan pengumpulan tugas, baik tugas individu maupun berkelompok. Beragamnya cara pengumpulan tugas perkuliahan membuat para mahasiswa sering melakukan kekeliruan karena berbedabedanya format, media, dan cara pengumpulan tugas kuliah. Untuk mengatasi masalah seperti ini diperlukan suatu sistem yang dapat membantu para peserta kuliah maupun...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2005
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Dwi Ananto Aryotojo, author
Salah satu alat bantu untuk melakukan verifikasi program dengan komputer adalah HOL theorem prover. HOL cukup populer namun memiliki keterbatasan dalam merepresentasikan program. Penggunaan HOL juga cukup sulit dan membutuhkan pengalaman yang tidak sedikit. Untuk mengatasi keterbatasan HOL terutama dalam merepresentasikan program dikembangkanlah xMECH. XMECH adalah pengembangan dari HOL yang...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Radityo Dwi Wicaksono, author
ABSTRAK
Keakuratan data dan informasi menjadi salah satu faktor penting dalam pengiriman barang. Ketidakkonsistensi data dan informasi dapat menghambat pengiriman barang kepada konsumen yang dapat menimbulkan kerusakan barang ataupun denda dengan jumlah besar. Kerugian perusahaan pun tidak dapat dihindari.
RoadNet merupakan sistem informasi yang digunakan untuk mempercepat pengiriman barang dan mengurangi biaya...
2014
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Unger, Herwig, editor
The Workshops on Autonomous Systems emanated from a gathering with the doctoral students of just three chairs at Fernuniversität in Hagen, which we organise twice per year for a number of years now. Their purpose is to discuss on-going research and to create a community spirit. Furthermore, they serve as...
Berlin: Springer, 2011
e20395158
eBooks Universitas Indonesia Library
Yukiko Nakano, editor
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012. The 17 revised full papers presented together with 31 short papers and 18 poster papers were carefully reviewed and selected from numerous submissions. The...
Berlin: [, Springer-Verlag], 2012
e20409991
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
Ding-Zhu, Du, author
Unlike other books on theoretical computer science, this textbook organizes approximation algorithms into chapters based on the design techniques for the algorithms. based on the design techniques for the algorithms. It helps the reader to better understand the design and analysis techniques for approximation algorithms...
New York: [Springer, ], 2012
e20419407
eBooks Universitas Indonesia Library
Handika Suhandiana, author
ABSTRAK
Salah satu langkah untuk mengatasi masalah malware yang sedang berkembang adalah dengan cara memprediksi tren serangan yang akan terjadi. Untuk menghasilkan prediksi yang tepat maka dibutuhkan sebuah data yang valid dan dalam jangka waktu yang cukup panjang. Setelah mendapatkan data time series kemudian akan diolah menggunakan persamaan regresi linear sehingga...
2016
S62963
UI - Skripsi (Membership) Universitas Indonesia Library
Aulia Roza Albareta, author
ABSTRAK
Sebuah rancangan prosedur operasional standar POS untuk requirement engineering pada pengembangan perangkat lunak di Subdirektorat Integrasi Pengolahan Data Subdit IPD , Badan Pusat Statistik BPS , telah dihasilkan. BPS merupakan lembaga pemerintah non kementrian yang bertugas untuk menyelenggarakan kegiatan sensus dan survei. POS requirement engineering disusun menggunakan soft system methodology...
2017
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
