Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Makackas, Dalius"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Miseviciene, Regina, Sutiene, Kristina, Ambraziene, Danute, Makackas, Dalius, University of Latvia, Vilniaus universitetas, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
Publikováno v:
Baltic Journal of Modern Computing. 6
The crucial factor influencing the main change while shaping the higher education environment over the last decades has been a rapid development of new learning technologies. This paper focuses on presenting the competitive ICT infrastructure that is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc80cd76c44add5ee4f05bc31c93a8c9
https://doi.org/10.22364/bjmc.2018.6.2.05
https://doi.org/10.22364/bjmc.2018.6.2.05
Publikováno v:
Informatica. 2010, Vol. 21 Issue 1, p123-138. 16p. 4 Diagrams, 1 Chart.
Verifying correctness of real time systems, reachable states analysis method is amply developed and used. However, this method described in scientific literature cannot avoid the endless increase of reachable state space. This paper presents an equiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3368::627deba7af800f4b8ff999527c0350a2
https://vb.ktu.edu/KTU:ELABAPDB15819919&prefLang=en_US
https://vb.ktu.edu/KTU:ELABAPDB15819919&prefLang=en_US
Autor:
Pranevičius, Henrikas, Makackas, Dalius, Vilniaus Gedimino technikos universitetas, Lietuvos mokslų akademija
Publikováno v:
Transport; Vol 17 No 5 (2002); 188-193
Transport, Vol 17, Iss 5, Pp 188-193 (2002)
Transport, Vol 17, Iss 5 (2002)
Transport, Vol 17, Iss 5, Pp 188-193 (2002)
Transport, Vol 17, Iss 5 (2002)
The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems. Aggregate speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1308afc858e72de66d586c91fe811dbe
https://doi.org/10.3846/16483840.2002.10414041
https://doi.org/10.3846/16483840.2002.10414041
Autor:
Pranevičius, Henrikas, Paulauskaitė-Tarasevičienė, Agnė, Makackas, Dalius, Kauno technologijos universitetas
This paper presents the definition of abstract data type (ADT) in dynamic Piece-Linear Aggregate (PLA) model. The introduced ADT permits to describe structural changes in the hierarchical dynamic PLA (dynPLA). In order to formalize the specification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3368::bbc762f3f08ca30b8915f6a308ca942e
https://vb.ktu.edu/KTU:ELABAPDB2970367&prefLang=en_US
https://vb.ktu.edu/KTU:ELABAPDB2970367&prefLang=en_US
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Information & Software Technologies (9783642419461); 2013, p392-402, 11p
Publikováno v:
Information & Software Technologies (9783642419461); 2013, p82-92, 11p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.