Ditemukan 609 dokumen yang sesuai dengan query
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
Roger Lee, editor
The purpose of the 9th International Conference on Software Engineering Research, Management and Applications(SERA 2011) held on August 10-12, 2011 in Baltimore, Maryland was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and...
Berlin: [, Springer], 2012
e20418202
eBooks Universitas Indonesia Library
DiMarzio, J.F.
This book is no different in that it walks you through creating an arcade style prison break game app, top to bottom for an Android smartphone or tablet. This book teaches you the unique characteristics and challenges of creating an Arcade style game And it provides you with the...
New York: Springer, 2012
e20425425
eBooks Universitas Indonesia Library
Akbar Sahata Sakapertana, author
ABSTRAK
Salah satu permasalahan terkait penggunaan Internet di Indonesia adalah maraknya penyebaran konten negatif, sedangkan pemblokiran konten negatif saat ini dinilai kurang tepat karena memblokir akses secara keseluruhan telah memblokir akses konten positif lainnya. Agar dapat memblokir akses pada URL dengan subdirektori tertentu dapat dilakukan dengan menggunakan application layer firewall. Skripsi...
2016
S65005
UI - Skripsi (Membership) Universitas Indonesia Library
Aldi Burhanhamali, author
ABSTRAK
Internet dan komunikasi antar jaringan yang saat ini telah menjadi kebutuhan bagi banyak orang. Salah satu bentuk serangan keamanan komputer adalah malware. Malware (Malicious Software), merupakan perangkat lunak yang dibuat untuk atau dengan maksud dan tujuan merugikan orang lain. Malware Analysis Metode Dinamis merupakan analisis yang dilakukan terhadap malware untuk...
2016
S65663
UI - Skripsi (Membership) Universitas Indonesia Library
M. Ariansyah Yutama, author
ABSTRAK
Abstrak - Software Defined Networking (SDN) merupakan teknologi baru yang hadir untuk melengkapi kekurangan jaringan konvensional yang sekarang digunakan, teknologi SDN masih memiliki beberapa kekurangan yang perlu diperhatikan khususnya dari sisi keamanan, misalnya serangan IP Spoofing dan Man of The Middle of Attack. Penelitian ini membahas mengenai Analisis Kinerja Pembatasan...
2016
T46381
UI - Tesis (Membership) Universitas Indonesia Library
More, Jorge J., author
Developments in optimization theory, including emphasis on large problems and on interior-point methods for linear programming, have begun to appear in production software. Here is a reference tool that includes discussions of these areas and names software packages that incorporate the results of theoretical research. After an introduction to the...
Philadelphia: Society for Industrial and Applied Mathematics, 1993
e20450626
eBooks Universitas Indonesia Library
The annual Workshop on Algorithm Engineering and Experiments (ALENEX) provides a forum for the presentation of original research in all aspects of algorithm engineering, including the implementation and experimental evaluation of algorithms and data structures. ...
Philadelphia: Society for Industrial and Applied Mathematics, 2006
e20443190
eBooks Universitas Indonesia Library
The ALENEX workshop provides a forum for the presentation of original research in the implementation and experimental evaluation of algorithms and data structures. This volume collects extended versions of the 12 papers that were selected for presentation...
Philadelphia: Society for Industrial and Applied Mathematics, 2003
e20443191
eBooks Universitas Indonesia Library
