National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
View Item 
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications

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

Thumbnail
2014
Disertacija.pdf (1.772Mb)
IzvestajKomisije.pdf (137.2Kb)
Author
Marinković, Bojan
Mentor
Ognjanović, Zoran
Committee members
Gilezan, Silvia
Liquori, Luigi
Popović, Miroslav
Milutinović, Veljko
Ognjanović, Zoran
Metadata
Show full item record
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.
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:
University of Novi Sad, Faculty of Technical Science
Date:
10-10-2014
Projects:
  • 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)
Keywords:
Overlay Networks Distributed Hash Tables Verification Abstract State Machines Temporal Logic Digitization of the Cultural Heritage / Prekrivajuće mreže / Distribuirane heš tabele / Verifikacija / Mašine apstraktnih stanja / Temporalne logike / Digitalizacija kulturne baštine
[ Google Scholar ]
URI
http://nardus.mpn.gov.rs/handle/123456789/1917
http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140507825859390.pdf?controlNumber=(BISIS)89489&fileName=140507825859390.pdf&id=2440&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/record.jsf?recordId=89489&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije140507827869766.pdf?controlNumber=(BISIS)89489&fileName=140507827869766.pdf&id=2441&source=NaRDuS&language=sr

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS