Search
Now showing items 1-10 of 85
Title: Formal Methods for Modelling Wireless Sensor Networks
Author:
Date: 2019
Submitted: 2019-11-28
(2019)
Ebben a disszertációban olyan új formális módszereket mutattunk be, amelyek alkalmasak vezeték nélküli szenzorhálózatok modellezésére és működésük elemzésére. Az értekezés eredményeit hazai és nemzetközi konferenciákon, ...
Title: Context- Aware Recommendations for Groups in Location- Based Social Networks and Academic Social Networks
Author:
Date: 2019
Submitted: 2019-10-02
(2019)
Title: Aeroszoldepozíciós légzőrendszeri modell fejlesztése
Author:
Date: 2019
Submitted: 2019-10-02
(2019)
Dolgozatomat a Sztochasztikus Tüdőmodell (SLM) bemutatásával kezdtem. E modell arra hivatott, hogy az emberi légzőrendszerben a személyre, illetve a belélegzett aeroszolra vonatkozó adatok alapján a kiülepedési mechanizmusokat ...
Title: Quality Aspects of TTCN-3 Based Test Systems
Author:
Date: 2017
Submitted: 2019-03-06
(2017)
A doktori dolgozat TTCN-3 -ban írt tesztrendszerek kódminőségének vizsgálatáról szól.
Az elemzésekhez először a TTCN-3 nyelvhez kapcsolódó gyanús kódmintákat határoztam meg (code smells), majd ezeket az ISO-9126 és ISO-25010 ...
Title: Szorzatrendszer konstrukciók
Author:
Date: 2018
Submitted: 2019-03-06
(2018)
A doktori értekezés témája speciális szorzatrendszer-konstrukciók vizsgálata. Az ilyen rendszerek különösen fontosak a függvényapproximáció területén, ugyanis a rendszerre vonatkozó Fourier-együtthatók általánosított gyors ...
Title: Adat és kiértékelési függőségi elemzés funkcionális nyelvekre-Erlang programok statikus elemzése
Author:
Date: 2018
Submitted: 2019-03-06
(2018)
A szoftverfejlesztést támogató eszközök jelentősége rohamosan nő az utóbbi évtizedekben. A forráskódok mérete akkorára nő, hogy humán erővel átlátni szinte lehetetlen, de legalábbis nehézkes és időigényes folyamat. Így ...
Title: A D-Box koordinációs nyelv és a futtató rendszer
Author:
Date: 2009
Submitted: 2020-01-15
(2009)
Title: .NET alapú programok minőségének és biztonságának növelése
Author:
Date: 2010
Submitted: 2020-01-15
(2010)
Title: A formal language theoretic approach to self-orgainzing networks
Author:
Date: 2010
Submitted: 2020-01-15
(2010)