Приказ основних података о дисертацији

Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene

dc.contributor.advisorOgnjanović, Zoran
dc.contributor.otherGilezan, Silvia
dc.contributor.otherLiquori, Luigi
dc.contributor.otherPopović, Miroslav
dc.contributor.otherMilutinović, Veljko
dc.contributor.otherOgnjanović, Zoran
dc.creatorMarinković, Bojan
dc.date.accessioned2015-12-29T11:22:40Z
dc.date.available2015-12-29T11:22:40Z
dc.date.available2020-07-03T14:13:11Z
dc.date.issued2014-10-10
dc.identifier.urihttps://nardus.mpn.gov.rs/handle/123456789/1917
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140507825859390.pdf?controlNumber=(BISIS)89489&fileName=140507825859390.pdf&id=2440&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/record.jsf?recordId=89489&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije140507827869766.pdf?controlNumber=(BISIS)89489&fileName=140507827869766.pdf&id=2441&source=NaRDuS&language=srsr
dc.description.abstractThis 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.abstractDoktorska 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.languageen
dc.publisherУниверзитет у Новом Саду, Факултет техничких наукаsr
dc.relationinfo:eu-repo/grantAgreement/MESTD/Integrated and Interdisciplinary Research (IIR or III)/44006/RS//
dc.relationinfo:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174026/RS//
dc.rightsopenAccessen
dc.rights.urihttps://creativecommons.org/share-your-work/public-domain/cc0/
dc.sourceУниверзитет у Новом Садуsr
dc.subjectPrekrivajuće mrežesr
dc.subjectDistribuirane heš tabelesr
dc.subjectVerifikacijasr
dc.subjectMašine apstraktnih stanjasr
dc.subjectTemporalne logikesr
dc.subjectDigitalizacija kulturne baštinesr
dc.titleInterconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applicationsen
dc.titlePovezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primenesr
dc.typedoctoralThesisen
dc.rights.licenseCC0
dcterms.abstractОгњановић Зоран; Милутиновић Вељко; Лиqуори Луиги; Огњановић Зоран; Гилезан Силвиа; Поповић Мирослав; Маринковић Бојан; Повезивање хетерогених прекривајућих мрежа: дефиниција, формализација и примене; Повезивање хетерогених прекривајућих мрежа: дефиниција, формализација и примене;
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/43399/IzvestajKomisije.pdf
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/43398/Disertacija.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_nardus_1917


Документи за докторску дисертацију

Thumbnail
Thumbnail

Ова дисертација се појављује у следећим колекцијама

Приказ основних података о дисертацији