Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications
Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
Докторанд
Marinković, BojanМентор
Ognjanović, ZoranЧланови комисије
Gilezan, SilviaLiquori, Luigi
Popović, Miroslav
Milutinović, Veljko
Ognjanović, Zoran
Метаподаци
Приказ свих података о дисертацијиСажетак
This Ph.D. thesis addresses topics related to overlay networks, their de_nition, formalization and applications. Descriptions of the Chord and Synapse protocols using the ASM formalism is presented, and both a high-level and a re_ned proof of the correctness of the Chord formalization is given. A probabilistic assessment of the exhaustiveness of the Synapse protocol is performed. An updated version of the Proposal of metadata schemata for movable cultural heritage as well as a Proposal of metadata schemata for describing collections are provided. Based of the Chord protocol, a Distributed catalog of digitized collections of Serbian cultural herigate is implemented.
Doktorska disertacija se bavi temama vezanim za prekrivajuće mreže, njihovom definicijom, formalizacijom i primenama. Dati su opisi Chord i Synapse protokola korišćenjem ASM formalizma, kao i dokaz korektnosti formalizacije Chord protokola na visokom nivou, kao i njegovo profinjenje. Izvršena je verovatnosna ocena uspešnosti pretrage pomoću Synapse protokola. Predstavljena je ažurirana verzija Predloga sheme meta podataka za pokretna kulturna dobra, kao i Predlog sheme meta podataka za opis kolekcija. Implementiran je Distribuirani katalog digitalizovanih kolekcija kulturne baštine Srbije zasnovan na Chord protokolu.
Факултет:
Универзитет у Новом Саду, Факултет техничких наукаДатум одбране:
10-10-2014Пројекти:
- Развој нових информационо-комуникационих технологија, коришћењем напредних математичких метода, са применама у медицини, телекомуникацијама, енергетици, заштитити националне баштине и образовању (RS-MESTD-Integrated and Interdisciplinary Research (IIR or III)-44006)
- Репрезентације логичких структура и формалних језика и њихове примене у рачунарству (RS-MESTD-Basic Research (BR or ON)-174026)