Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
| Autor: | Marinković, Bojan |
|---|---|
| Přispěvatelé: | Ognjanović, Zoran, Gilezan, Silvia, Liquori, Luigi, Popović, Miroslav, Milutinović, Veljko |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | CRIS UNS |
| 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: | OpenAIRE |
| Externí odkaz: |
|