Browsing by Author "Daniel, Jakub"
Now showing items 1-3 of 3
-
Analysis of Interface Automata with On-Demand Replication
Defence status: RECOGNIZEDDaniel, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 17. 6. 2016Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný ... -
Analysis of Interface Automata with On-Demand Replication
Defence status: DEFENDEDDaniel, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 27. 5. 2013Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný ... -
NetRadio
Defence status: DEFENDEDDaniel, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 20. 6. 2011V této práci je představen přehrávač internetových rádií schopný vybírat oblíbený obsah nezávisle na uživatelově zásahu, pokud to není nutné, jako řešení problé- mu, kdy přehrávaný obsah přestane odpovídat uživatelově zájmu ...