| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 2 / 2
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1.
Modeling, simulation, and verification of a Bounded Retransmission Protocol using Spin model checker and SpinRCP integrated development environment : master's thesis
Pero Buden, 2022, magistrsko delo

Opis: Simple Promela Interpreter (Spin) is a model checker that uses Protocol Meta Language (PROMELA) to describe systems. Unfortunately, PROMELA does not support any time constructs, limiting the implementation of a Bounded Retransmission Protocol (BRP) in Spin's integrated development environment called Spin Rich Client Platform (SpinRCP). In the master's thesis, we model, simulate, and verify four versions of BRP. The first two versions are modeled without a timer, and with the others we show two different ways to simulate timers in PROMELA. The tests we run will show the time and space complexity of verifying each version depending on the size of the file sent and the number of retries to send each chunk.
Ključne besede: model checker, Bounded Retransmission Protocol, Spin, SpinRCP, timer
Objavljeno v DKUM: 20.10.2022; Ogledov: 336; Prenosov: 29
.pdf Celotno besedilo (3,54 MB)

2.
SAMODEJNO PROŽENJE OPRAVIL V OGRODJU SPRING
Uroš Pernat, 2010, diplomsko delo

Opis: V informacijskih sistemih se večina aplikacijske logike proži na podlagi zunanjih dogodkov, kot je na primer potrditev forme na spletni strani s strani uporabnika. Vendar to vedno ne zadostuje, včasih je potrebno prožiti procese brez uporabnikovega posredovanja ali zahteve zunanjega sistema. Te procese ponavadi prožimo ob določenem času oz. časovni periodi, ki je zabeležena v urniku informacijskega sistema. V diplomski nalogi smo raziskali ogrodje Spring s pripadajočimi načrtovalskimi vzorci ter preučili podporo za kreiranje urnikov, ki jo že samo ogrodje ponuja. V praktičnem delu smo razvili prototip aplikacije za vodenje urnikov opravil v ogrodju Spring. Prototip omogoča vnos postavke v urnik ter pošiljanje elektronske pošte ob po kreiranem urniku.
Ključne besede: programska oprema, ogrodje Spring, proženje opravil, JDK Timer, Quartz
Objavljeno v DKUM: 16.04.2010; Ogledov: 1849; Prenosov: 112
.pdf Celotno besedilo (2,87 MB)

Iskanje izvedeno v 0.06 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici