Hledat
Zobrazují se záznamy 1-10 z 205
Analýza uživatelských rozhraní
User Interface Analysis
Bakalářská práce
Vedoucí práce: Ježek, Pavel
Dátum publikování:
Datum obhajoby: 04. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Grafická uživatelská rozhraní (GUI) jsou v dnešní době všudypřítomná a mnoho programů komunikuje s uživatelem pouze pomocí tohoto prostředku. GUI se v různých programech se od sebe často liší, jinak se chovají a jinak jsou ...
Graphical user interfaces (GUIs) form an essential part of many nowadays applications and often provide the only way of controlling them. There are many different ways of how GUIs can be created. Their structure and ...
Graphical user interfaces (GUIs) form an essential part of many nowadays applications and often provide the only way of controlling them. There are many different ways of how GUIs can be created. Their structure and ...
Analysis of a File System Using the Verifying C Compiler
Analýza souborového systému pomocí Verifying C Compiler
Diplomová práce
Vedoucí práce: Kofroň, Jan
Dátum publikování:
Datum obhajoby: 03. 02. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální ...
Title: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is ...
Title: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is ...
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Diplomová práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. ...
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through ...
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through ...
DEECo Cloudlets Exploratory Study
Návrhová studie realizace cloudletů pomocí komponentového modelu DEECo
Diplomová práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce prozkoumává možnosti využití nedávno představených komponentových modelů založených na ensemblech (zastoupených modelem DEECo) jako řídící vrstvu v cloudletovém prostředí pro offloadování výpočtů mobilního ...
This thesis explores possibilities of using recently introduced ensemble-based component models (represented by the DEECo model) as a management layer in a cloudlet-like environment for mobile computation offloading, which ...
This thesis explores possibilities of using recently introduced ensemble-based component models (represented by the DEECo model) as a management layer in a cloudlet-like environment for mobile computation offloading, which ...
Signature-based User Authentication
Signature-based User Authentication
Diplomová práce
Vedoucí práce: Jančík, Pavel
Dátum publikování:
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce zpracovává chybějící možnost autentifikace uživatele podpisem v systému Windows. Výsledkem této práce je software, který umožňuje přihlášení uživatele do systému Windows podpisem. Zaměřili jsme se zejména na ...
This work aims on missing handwritten signature authentication in Windows. Result of this work is standalone software that allow users to log into Windows by writing signature. We focus on security of signature authentification ...
This work aims on missing handwritten signature authentication in Windows. Result of this work is standalone software that allow users to log into Windows by writing signature. We focus on security of signature authentification ...
Model-driven Pretty Printer for Xtext Framework
Model-driven Pretty Printer for Xtext Framework
Diplomová práce
Vedoucí práce: Malohlava, Michal
Dátum publikování:
Datum obhajoby: 21. 01. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Doménově specifický jazyk slouží k popisu problémů v doméně, pro níž byl vytvořen. Tento fakt implikuje existenci velkého množství jazyků tohoto druhu. Používání doménově specifických jazyků přináší s sebou potřebu tyto ...
The domain-specific language allows for describing problems of a concrete domain, for which the language is created. This fact implies that a number of languages of this kind grows with a number of problem domains. The use ...
The domain-specific language allows for describing problems of a concrete domain, for which the language is created. This fact implies that a number of languages of this kind grows with a number of problem domains. The use ...
Modular Objective-C run-time library
Modular Objective-C run-time library
Diplomová práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
Datum obhajoby: 27. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis contains analysis of currently available Objective-C run-time libraries (GCC, Apple and Étoilé run-times), their prerequisites and dependencies on the particular platform and operating system. The result of the ...
Tato práce obsahuje analýzu existujících run-time knihoven Objective-C (Étoilé knihovna a knihovny od GCC a Apple), jejich prerekvizity a závislosti na konkrétní platformě a operačním systému. Výsledkem této analýzy je ...
Tato práce obsahuje analýzu existujících run-time knihoven Objective-C (Étoilé knihovna a knihovny od GCC a Apple), jejich prerekvizity a závislosti na konkrétní platformě a operačním systému. Výsledkem této analýzy je ...
RPGcraft
RPGcraftRPGcraft
Bakalářská práce
Vedoucí práce: Hnětynka, Petr
Dátum publikování:
Datum obhajoby: 02. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The aim of this work is to create game environment with added RPG elements which is sharing similarities with the Minecraft. We analyze the game environment further describing the properties that the project should include ...
Cieľom tejto práce je vytvorenie herného prostredia, ktoré by zdieľalo podobnosti s hrou Minecraft s pridanými RPG prvkami. Prostredie je v práci zanalyzované s popisom vlastností, ktoré by mal projekt obsahovať pre naplnenie ...
Cieľom tejto práce je vytvorenie herného prostredia, ktoré by zdieľalo podobnosti s hrou Minecraft s pridanými RPG prvkami. Prostredie je v práci zanalyzované s popisom vlastností, ktoré by mal projekt obsahovať pre naplnenie ...
An IDE for C# Script Development
Vývojové prostředí pro vývoj skriptů v jazyce C#
Diplomová práce
Vedoucí práce: Ježek, Pavel
Dátum publikování:
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá nástroji umožňujícími použití jazyka C# k tvorbě skriptů - krátkých programů určených pro rychlé vyřešení malých, typicky jednorázových úloh, které obvykle vyvstávají při práci na větších projektech. ...
The goal of this thesis is to explore tools for using the C# programming language to create scripts - short programs for quick and easy solving of small, usually one-time temporary tasks that usually arise during the work ...
The goal of this thesis is to explore tools for using the C# programming language to create scripts - short programs for quick and easy solving of small, usually one-time temporary tasks that usually arise during the work ...
ProCom middleware
ProCom middleware
Diplomová práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
Datum obhajoby: 27. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The goal of this thesis is to develop and implement parts of a middleware that provides necessary support for the execution of ProCom components on top of the real-time operating system FreeRTOS. The ProCom is a component ...
Cílem práce je navhnout a implementovat části midlewaru, který poskytuje nut- nou podporu pro běh ProCom komponent nad real-time operačním systémem FreeRTOS. ProCom je název komponentového modelu pro vestavěné systémy ...
Cílem práce je navhnout a implementovat části midlewaru, který poskytuje nut- nou podporu pro běh ProCom komponent nad real-time operačním systémem FreeRTOS. ProCom je název komponentového modelu pro vestavěné systémy ...