Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications
Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
Author
Marinković, BojanMentor
Ognjanović, ZoranCommittee members
Gilezan, SilviaLiquori, Luigi
Popović, Miroslav
Milutinović, Veljko
Ognjanović, Zoran
Metadata
Show full item recordAbstract
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.
Faculty:
Универзитет у Новом Саду, Факултет техничких наукаDate:
10-10-2014Projects:
- Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education (RS-44006)
- Representations of logical structures and formal languages and their application in computing (RS-174026)