Hledat
Zobrazují se záznamy 1-5 z 5
Signature-based User Authentication
Signature-based User Authentication
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jančík, Pavel
Datum publikování: 2015
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 ...
Evaluation of Usefulness of Debugging Tools
Vyhodnocování užitečnosti ladících nástrojů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2015
Datum obhajoby: 09. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ladění je časově velmi náročná aktivita programátorů. Přestože počet návrhů ladících nástrojů je velký, tak počet nástrojů, které jsou přijaty lidmi z praxe a používány při vývoji software je menší než by se dalo očekávat. ...
Debugging is a very time-consuming activity for programmers. Although the number of proposed debugging tools is large, the number of tools that are actually adopted by practitioners and used during development of software ...
Debugging is a very time-consuming activity for programmers. Although the number of proposed debugging tools is large, the number of tools that are actually adopted by practitioners and used during development of software ...
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2015
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 ...
Analysis of a File System Using the Verifying C Compiler
Analýza souborového systému pomocí Verifying C Compiler
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2015
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 ...
Punch Press Simulator
Punch Press Simulator
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2015
Datum obhajoby: 09. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá návrhem a realizací výukové podpory pro předměty zabývající se systémy reálného času. Záměrem práce je vytvoření platformy, prostřednictvím které budou mít studenti možnost seznámit se s jednotlivými ...
This work tries to remedy the practical part of teaching development of software for real-time systems. It does so by creation of a platform on which students can practically learn aspects of development of software for ...
This work tries to remedy the practical part of teaching development of software for real-time systems. It does so by creation of a platform on which students can practically learn aspects of development of software for ...