Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications
Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
dc.contributor.advisor | Ognjanović, Zoran | |
dc.contributor.other | Gilezan, Silvia | |
dc.contributor.other | Liquori, Luigi | |
dc.contributor.other | Popović, Miroslav | |
dc.contributor.other | Milutinović, Veljko | |
dc.contributor.other | Ognjanović, Zoran | |
dc.creator | Marinković, Bojan | |
dc.date.accessioned | 2015-12-29T11:22:40Z | |
dc.date.available | 2015-12-29T11:22:40Z | |
dc.date.available | 2020-07-03T14:13:11Z | |
dc.date.issued | 2014-10-10 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/1917 | |
dc.identifier.uri | http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140507825859390.pdf?controlNumber=(BISIS)89489&fileName=140507825859390.pdf&id=2440&source=NaRDuS&language=sr | sr |
dc.identifier.uri | http://www.cris.uns.ac.rs/record.jsf?recordId=89489&source=NaRDuS&language=sr | sr |
dc.identifier.uri | http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije140507827869766.pdf?controlNumber=(BISIS)89489&fileName=140507827869766.pdf&id=2441&source=NaRDuS&language=sr | sr |
dc.description.abstract | 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. | en |
dc.description.abstract | 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. | sr |
dc.language | en | |
dc.publisher | Универзитет у Новом Саду, Факултет техничких наука | sr |
dc.relation | info:eu-repo/grantAgreement/MESTD/Integrated and Interdisciplinary Research (IIR or III)/44006/RS// | |
dc.relation | info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174026/RS// | |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/share-your-work/public-domain/cc0/ | |
dc.source | Универзитет у Новом Саду | sr |
dc.subject | Prekrivajuće mreže | sr |
dc.subject | Distribuirane heš tabele | sr |
dc.subject | Verifikacija | sr |
dc.subject | Mašine apstraktnih stanja | sr |
dc.subject | Temporalne logike | sr |
dc.subject | Digitalizacija kulturne baštine | sr |
dc.title | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | en |
dc.title | Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene | sr |
dc.type | doctoralThesis | en |
dc.rights.license | CC0 | |
dcterms.abstract | Огњановић Зоран; Милутиновић Вељко; Лиqуори Луиги; Огњановић Зоран; Гилезан Силвиа; Поповић Мирослав; Маринковић Бојан; Повезивање хетерогених прекривајућих мрежа: дефиниција, формализација и примене; Повезивање хетерогених прекривајућих мрежа: дефиниција, формализација и примене; | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/43399/IzvestajKomisije.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/43398/Disertacija.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_1917 |