Adaptyvios virtualios mokymo(si) aplinkos (AVMA) kontekste analizuojama mokymo(si) programa bei jo verifikacijos strategijų pritaikymas. Mokymo(si) programa - terminas, apibūdinantis kiekvieno registruoto vartotojo galimybę modifikuotoje VMA pasirinkti studijuotinas temas, mokymo medžiagos pateikimo pavidalą, pasirinkti pageidaujamą mokymosi lygmenį. Verifikacija – procesas, kuris yra vykdomas modifikuotoje VMA susikurtame mokymosi plane, siekiant nustatyti, ar ką tik sudarytas nustatymų rinkinys atitinka realius besimokančiojo poreikius. Tam patikrinti naudojamos įvairios strategijos, kurios ne visada būna optimalios, o dažnai ir stabdančios mokymosi procesą. Taikant mokslinėje literatūroje apra��ytas strategijas arba ieškant naujų, siekiama surasti tinkamiausią verifikacijos strategiją ir pritaikant ją VMA. / This paper in a condensed form presents a model of the component for a virtual learning environment (VLE), which enriches it with some adaptive features. Such features are curriculum and verification strategies. First one is understood as the set of courses and their content, which learner can choose according his needs. Second one understanding as process, which execute in modifies VLE and check knowledge of learner’s of course material using tests and after it update curriculum that satisfies the needs of the learner. Verification’s strategies used often are not optimal and delays study process. The aim of this work is definition of verification strategy, which is applied for correction of prebuild learner’s curriculum, and implementation of it into VLE.

<p>This Ph.D. thesis addresses topics related to overlay networks, their de_nition,<br />formalization and applications. Descriptions of the Chord and Synapse protocols using<br />the ASM formalism is presented, and both a high-level and a re_ned proof of the<br />correctness of the Chord formalization is given. A probabilistic assessment of the<br />exhaustiveness of the Synapse protocol is performed. An updated version of the<br />Proposal of metadata schemata for movable cultural heritage as well as a Proposal of<br />metadata schemata for describing collections are provided. Based of the Chord protocol, a Distributed catalog of digitized collections of Serbian cultural herigate is implemented.</p> / <p>Doktorska disertacija se bavi temama vezanim za prekrivajuće mreže, njihovom<br />definicijom, formalizacijom i primenama. Dati su opisi Chord i Synapse protokola<br />kori&scaron;ćenjem ASM formalizma, kao i dokaz korektnosti formalizacije Chord protokola<br />na visokom nivou, kao i njegovo profinjenje. Izvr&scaron;ena je verovatnosna ocena uspe&scaron;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&scaron;tine Srbije zasnovan na Chord protokolu.</p>