Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications
| Autor: | Marinković Bojan |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Druh dokumentu: | Diplomová práce |
| Popis: | This Ph.D. thesis addresses topics related to overlay networks, their de_nition,formalization and applications. Descriptions of the Chord and Synapse protocols usingthe ASM formalism is presented, and both a high-level and a re_ned proof of thecorrectness of the Chord formalization is given. A probabilistic assessment of theexhaustiveness of the Synapse protocol is performed. An updated version of theProposal of metadata schemata for movable cultural heritage as well as a Proposal ofmetadata 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, njihovomdefinicijom, formalizacijom i primenama. Dati su opisi Chord i Synapse protokolakorišćenjem ASM formalizma, kao i dokaz korektnosti formalizacije Chord protokolana 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. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|