Ditemukan 11964 dokumen yang sesuai dengan query
Tiziano Villa, editor
"The problem of the unknown component : theory and applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones."
New York: [, Springer], 2012
e20418583
eBooks Universitas Indonesia Library
New York: McGraw-Hill, 1985
621.381 73 GAT
Buku Teks Universitas Indonesia Library
Jensen, Randall W.
Englewood Cliffs: Prentice-Hall, 1968
621.381 JEN i
Buku Teks Universitas Indonesia Library
"This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-valued pulse sequences.
Addressing topics ranging from logic and measuring foundation to typical applications and including various illustrated maps, it is a valuable guide for theoretical researchers in discrete mathematics; computing, quantum- and communication scientists; big data engineers; as well as graduate and upper undergraduate students."
Singapore: Springer Nature, 2019
e20509491
eBooks Universitas Indonesia Library
Erwin Fauzi
"Tujuan dari penelitian ini adalah merancang sistem aplikasi pengukuran kinerja fungsi IT menggunakan IT Balanced Scorecard yang terintegrasi untuk mendukung strategi bisnis perusahaan yang berguna untuk memudahkan pemantauan dan penilaian kinerja fungsi IT pada perusahaan dan diharapkan ada proses perbaikan dan peningkatan kinerja yang cepat apabila ada kekurangan dan kesalahan dalam proses kerja yang dijalankan. Perusahaan bergerak dalam bidang Teknologi Informasi sehingga fungsi IT mempunyai peran utama dan penting bagi proses bisnis perusahaan maka dibutuhkan suatu pengukuran untuk menilai dan memantau keberhasilan kinerja IT dalam menunjang bisnis perusahaan. Metode penelitian dilakukan dengan studi kepustakaan, wawancara, survey lapangan, dan pengumpulan data perusahaan. Sedangkan metodologi perancangan sistem aplikasi IT Balanced Scorecard menggunakan FAST (Framework for the Application System Thinking). Sistem Aplikasi IT Balanced Scorecard merupakan sistem pengukuran kinerja yang diusulkan dengan tujuan mempermudah pemantauan dan menghasilkan informasi kinerja fungsi IT. Dengan dashboard IT Balanced Scorecard yang berfungsi sebagai alat diagnostic control system untuk melakukan pemantauan kinerja dan evaluasi kinerja fungsi IT, dengan dashboard sistem aplikasi IT Balanced Scorecard dapat memberikan gambaran mengenai kondisi hasil pencapaian kerja fungsi IT.
The purpose of this study is to design a system of performance measurement application of IT functions using an integrated IT Balanced Scorecard to support the company's business strategy that is useful to facilitate the monitoring and assessment of the performance of the IT function in the company and is expected to be a process improvement and rapid performance improvement of any deficiencies and errors in the work process run. The Company is engaged in the field of Information Technology so that the IT function has a major and important role for the company's business processes we need a measure to assess and monitor the success of the performance of IT in supporting the company's business. Methods of research conducted with literature studies, interviews, field surveys and data collection company. While the methodology design application system IT Balanced Scorecard using the FAST (Framework for the Application System Thinking). Application System IT balanced scorecard is a performance measurement system is proposed in order to facilitate monitoring and yield performance information IT functions. With the IT balanced scorecard dashboard serves as a diagnostic tool control system for performance monitoring and evaluation of the performance of the IT function, with dashboard IT balanced scorecard application systems can provide a picture of the working conditions of the results of the achievement of IT function."
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2016
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Millington, D.
New York: Ellis Horwood, 1981
003 MIL s
Buku Teks Universitas Indonesia Library
New York: Elsevier , 1968
004.21 SYS
Buku Teks SO Universitas Indonesia Library
Richerzhagen, Bjorn
"This book reports on a novel concept of mechanism transitions for the design of highly scalable and adaptive publish/subscribe systems. First, it introduces relevant mechanisms for location-based filtering and locality-aware dissemination of events based on a thorough review of the state-of-the-art. This is followed by a detailed description of the design of a transition-enabled publish/subscribe system that enables seamless switching between mechanisms during runtime. Lastly, the proposed concepts are evaluated within the challenging context of location-based mobile applications. The book assesses in depth the performance and cost of transition execution, highlighting the impact of the proposed state transfer mechanism and the potential of coexisting transition-enabled mechanisms."
Switzerland: Springer Cham, 2019
e20502031
eBooks Universitas Indonesia Library
Tesalonika Julia Petronella Sagala
"Di masa pandemi seperti saat ini, volume transaksi melalui aplikasi m-Banking di Indonesia memiliki potensi untuk meningkat. Terdapat aplikasi m-Banking dengan jumlah target pasar terbesar di Indonesia, yaitu BRImo, Livin' by Mandiri, dan BCA Mobile. Untuk mengantisipasi peningkatan jumlah pengguna dan frekuensi penggunaan, diperlukan analisis dan studi mendalam mengenai pengalaman pengguna ketika menggunakan aplikasi m-Banking. Penelitian ini bertujuan untuk mengevaluasi desain antarmuka dan usability dari tiga aplikasi m-Banking di Indonesia, yaitu BRImo, Livin' by Mandiri, dan BCA Mobile. Penelitian dilakukan dengan metodologi User-Centered Design. Evaluasi dilakukan dengan menggabungkan data kuantitatif dari penilaian pengguna dengan kuesioner System Usability Scale dan data kualitatif dari usability testing serta pendapat pengguna yang dikumpulkan dengan kuesioner daring dan wawancara kontekstual. Melalui evaluasi, ditemukan permasalahan pada lima fitur utama aplikasi m-Banking, yaitu pengecekan saldo, transfer uang, pengisian e-Wallet, pembayaran tagihan, dan cek mutasi. Masalah-masalah ini dikembangkan solusinya berdasarkan pemetaan dengan Shneiderman’s Eight Golden Rules of Interface Design. Solusi desain dikembangkan menjadi high-fidelity prototype dan dievaluasi kembali dengan metode usability testing, wawancara kontekstual, dan kuesioner System Usability Scale. Penelitian ini membuktikan bahwa kesesuaian aplikasi dengan Shneiderman's Eight Golden Rules of Interface Design meningkatkan penilaian pengguna terhadap aplikasi. Desain alternatif aplikasi pada penelitian ini dapat dijadikan referensi untuk meningkatkan usability dari aplikasi m-Banking.
During the current pandemic situation nowadays, the volume of transactions on m-Banking applications in Indonesia has the potential to increase in number. There are three m-Banking applications with the largest number of target markets in Indonesia, which are BRImo, Livin' by Mandiri, and BCA Mobile. To anticipate the increase in the number of users and the frequency of use, in-depth analysis and study of user experience of m-Banking applications is necessary. This study aims to evaluate the interface design and usability of three m-Banking applications in Indonesia, which are BRImo, Livin' by Mandiri, and BCA Mobile. The research was conducted using User-Centered Design methodology. The evaluation was carried out by combining quantitative data from user evaluation by System Usability Scale questionnaire and qualitative data from usability testing and user reviews collected with online questionnaires and contextual interviews. Through the evaluation, problems were found in the five main features of the m-Banking application, which are balances checking, money transfer, e-Wallet top-up, bill payment, and transaction record checking. Design solutions for these problems were developed based on mapping with Shneiderman's Eight Golden Rules of Interface Design. Design solutions were made into high-fidelity prototype and re-evaluated with usability testing, contextual interviews, and System Usability Scale questionnaires. This research proves that the conformity of application with Shneiderman's Eight Golden Rules of Interface Design increases the user's evaluation score of the application. The alternative design of the application in this study is hoped to be used as a reference to improve the usability of the m-Banking application."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2022
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
Horowitz, Paul
Jakarta: Elex Media Komputindo, 1985
621.381 5 HOR s
Buku Teks Universitas Indonesia Library