Ditemukan 4 dokumen yang sesuai dengan query
I.S.W.B. Prasetya
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
R 324.6 PRA s
Buku Referensi Universitas Indonesia Library
I.S.W.B. Prasetya
"
Karya tulis ini membahas konsep dan rancangan sistem transaksi elektronik untuk kampus atau administrasi universitas, yang bersifat aman, terbuka, dan terotentikasi. sistem transaksi elektronik terbuka (open electronic transaction system) memungkinkan suatu transaksi elektronik dilakukan melalui jaringan komputer publik (public computer network), oleh karena itu masalah keamanan (security) terutama masalah privacy dari pihak-pihak yang bertransaksi menjadi sangat penting, demikian pula dengan masalah otentikasi (authentication).
Tulisan ini mengusulkan penggunaan kartu mahasiswa sebagai alat untuk memperoleh berbagai fasilitas ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
LP-pdf
UI - Laporan Penelitian Universitas Indonesia Library
I.S.W.B. Prasetya
"
Teori komposisi komponen adalah dasar dari modularitas dalam pengembangan dan verifikasi perangkat lunak. Teori ini terutama digunakan untuk memberikan justifikasi formal untuk konsistensi kerja komponen-komponen yang mudah dipakai ulan (reusable). Hambatan terbesar dalam menyusun bukti formasil untuk komponen seperti itu adalah konsistensi perilakku temporal yang berhubungan dengan kemajuan (progress) sulit dijaga dalam konteks sistem terdistribusi atau paralel. Teori yang ada sifatnya terlalu umum dan tidak memberikan petunjuk yang jelas bagaimana cata memberikan batasan (constraint) kepada ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-I-1 Mei 2001-1
Artikel Jurnal Universitas Indonesia Library
I.S.W.B. Prasetya
"
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan. Framework yang ada cenderung berfokus pada mekanisasi dari sebuah logika saja dan ini menurut pengalaman kami kurang memuaskan untuk membangun sistem dengan multi logika. ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-1-2-Okt2001-35
Artikel Jurnal Universitas Indonesia Library
