Hledat
Zobrazují se záznamy 21-30 z 298
Modelling n-ary relations in description logics
Modelování n-árních relací v deskripčních logikách
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: DLR is an expressive description logic with support of n-ary relations. Currently, there is no known algorithm for native reasoning within DLR. However there are two approaches that allow to delegate reasoning services of ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
Natural Language Processing of Textual Use Cases
Natural Language Processing of Textual Use Cases
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mencl, Vladimír
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Požadavky na funkčnost navrhovanému systému jsou obvykle zachycovány pomocí use case psaných v přirozeném jazyce. Formát use case není standardizován, nicméně věty use case mají tradični jednoduchou strukturu a popisují ...
Use cases written in a natural language are usually employed for specifying of functional requirements. The format of a use case is not standardized but use case sentences traditionally adhere to a simple structure and ...
Use cases written in a natural language are usually employed for specifying of functional requirements. The format of a use case is not standardized but use case sentences traditionally adhere to a simple structure and ...
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rauch, Jan
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce pojednává o novém funkcionálním vizuálním programovacím jazyku a jeho použití k dobývání znalostí z databízí. Tento jazyk se nazývá Ferda a je integrální součástí systému Ferda, což je aplikace, která byla původně ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
Integrated Network Traffic Processing Framework
Integrated Network Traffic Processing Framework
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Knowledge of what data are carried by network links is crucial to be able to prevent attacks and to improve quality of services. Therefore it is important to develop network monitoring tools which can operate on speeds of ...
Automatic Construction of an XML Schema for a Given Set of XML Documents
Automatic Construction of an XML Schema for a Given Set of XML Documents
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holubová, Irena
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jazyk XML je populární formát pro komunikaci a výměnu dat. Stále ale existuje mnoho dokumentů bez popisu schématu. Tato práce je zaměřena na automatickou konstrukci XML schématu pro takové dokumenty. Pro popis schématu je ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
Relační modelování biologických dat
Relational Modeling of Biological Data
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Některé aplikace zpracování dat v databázových systémech vyžadují práci s hierarchicky uspořádanými daty. Informace takového charakteru se často vyskytují v biologických databázích, ale lze se s nimi setkat i v jiných ...
Some applications of data processing in database systems work with hierarchically structured data. Information of such kind is often present in biological data, but it can be also found in another scope. An efficient ...
Some applications of data processing in database systems work with hierarchically structured data. Information of such kind is often present in biological data, but it can be also found in another scope. An efficient ...
Zabezpečené sdílení souborového systému pro prostředí Windows
Secure filesharing on Windows
Diplomová práce (OBHÁJENO)
Vedoucí práce: Yaghob, Jakub
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: S rostoucím počtem připojení domácností k Internetu i možností připojení na cestách roste i potřeba vzdáleného přístupu k souborům. V poslední době roste také množství útoků po síti i počet nalezených chyb v systémech. ...
Connection to the Internet becomes common in many households. Many people use connection to Internet during their ways too, so the access to remote files is required more than before. The one of aims of this thesis is an ...
Connection to the Internet becomes common in many households. Many people use connection to Internet during their ways too, so the access to remote files is required more than before. The one of aims of this thesis is an ...
Topologická analýza slabin počítačové sítě
Topological analysis of computer network threats
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirovský, Václav
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Zranitelnost počítačové sítě je nutné posuzovat s ohledem na všechny možné kombinace jednotlivých útoků. Nestačí uvažovat útoky pouze izolovaně. Je třeba zaměřit se na to, jak lze zdánlivě neškodné útoky zkombinovat a ve ...
To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level vulnerabilities can be combined to achieve ...
To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level vulnerabilities can be combined to achieve ...
Analyzer of Windows Kernel Models
Analyzátor modelů jádra OS Window
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
Generátor kódu s vyměnitelnou cílovou architekturou
A retargetable code-generator
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá návrhem backendu pro kompilátor jazyka C++ s podporou generování kódu pro více cílových architektur. Backend je rozdělen na dvě části: systém popisu cílové architektury a generátor kódu. Popis cílové ...
This work is focusing on a retargetable backend design for a C++ compiler. The backend is composed of two parts: a target architecture description and a code-generator. The architecture description is based on the XML ...
This work is focusing on a retargetable backend design for a C++ compiler. The backend is composed of two parts: a target architecture description and a code-generator. The architecture description is based on the XML ...