Hledat
Zobrazují se záznamy 1-10 z 12
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 ...
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 ...
Measures for efficiency and eco-efficiency
Měření eficience a eko-eficience
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lachout, Petr
Datum publikování: 2008
Datum obhajoby: 23. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Porovnání ekonomických subjektu na mikro- i makroekonomické úrovni jednotným ukazatelem se provádí měřením eficience jako nástroje pro ohodnocení výkonnosti nebo efektivity subjektu. Pro každý ekonomický subjekt může být ...
Comparison between the economic subjects on micro and macro economic levels by a unitary indicator is provided by measuring efficiency as an evaluation of the performance of subjects. For each economic subject technical, ...
Comparison between the economic subjects on micro and macro economic levels by a unitary indicator is provided by measuring efficiency as an evaluation of the performance of subjects. For each economic subject technical, ...
SPAM wars
SPAM wars
Diplomová práce (OBHÁJENO)
Vedoucí práce: Beneš, Antonín
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Systém elektronické pošty je v současné době masivně zneužíván zasíláním nevyžádaných zpráv souhrnně označovány jako SPAM. Rozsah těchto útoků zatlačuje celý systém až na samu hranici použitelnosti. V posledních letech ...
The system of electronic mail is currently a target of a massive abuse by sending of unsolicited messages, called a SPAM. The extent of the attacks brings the whole electronic mail system to the very limits of usability. ...
The system of electronic mail is currently a target of a massive abuse by sending of unsolicited messages, called a SPAM. The extent of the attacks brings the whole electronic mail system to the very limits of usability. ...
Regression Testing For zlomekFS
Regression Testing For zlomekFS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: ZlomekFS is a distributed lesystem for transparent sharing of directory trees. This thesis describes how regression testing for ZlomekFS was built. The thesis summarizes software testing methods in the context of ZlomekFS ...
ZlomekFS je distribuovaný systém souborů určený k transparentnímu sdílení adresářových stromů. Tato práce popisuje tvorbu systému regresního testování pro ZlomekFS. Práce shrnuje metody používané k testování softwaru ...
ZlomekFS je distribuovaný systém souborů určený k transparentnímu sdílení adresářových stromů. Tato práce popisuje tvorbu systému regresního testování pro ZlomekFS. Práce shrnuje metody používané k testování softwaru ...
Refinement of timed automata models according to hardware characteristics
Refinement of timed automata models according to hardware characteristics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holub, Viliam
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje ...
Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle is that the formal theory assumes some unrealistic assumptions, such as that the action takes no time to execute. The model ...
Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle is that the formal theory assumes some unrealistic assumptions, such as that the action takes no time to execute. The model ...
Aktivní XML
Aktivní XML
Diplomová práce (OBHÁJENO)
Vedoucí práce: Janeček, Jan
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá využitím takzvaného aktivního XML pro implementaci distribuovaných algoritmů. Aktivní XML je představeno ve formě webových služeb (Web Services) a protokolu XML-RPC. Obě tyto technologie jsou založeny ...
This work is concerned about the usage of so called active XML for the implementation of distributed algorithms. The active XML is introduced in the form of Web Services and the XML-RPC protocol. Both of these technologies ...
This work is concerned about the usage of so called active XML for the implementation of distributed algorithms. The active XML is introduced in the form of Web Services and the XML-RPC protocol. Both of these technologies ...
Visual development of hierarchical components
Visual development of hierarchical components
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Componenent systems allow development of new applications by assembling existing components together to form a desired result. General purpose components can be reused for development of different applications which leads ...
Komponentové systémy umožňují vývoj aplikací pomocí sestavování existujících komponent do funkčních celků splňujících požadavky na danou aplikaci. Univerzální komponenty je možné opakovaně využít na vývoj různých aplikací, ...
Komponentové systémy umožňují vývoj aplikací pomocí sestavování existujících komponent do funkčních celků splňujících požadavky na danou aplikaci. Univerzální komponenty je možné opakovaně využít na vývoj různých aplikací, ...
Porovnání použitelnosti Java O/R frameworku
Porovnání použitelnosti Java O/R frameworku
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lánský, Jan
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato diplomová práce analyzuje použitelnost jednoho z nejpopulárnějších nástrojů pro objektově-relační mapování (Hibernate). Zkoumá, jakým způsobem ovlivňuje použití tohoto nástroje architekturu a výkon aplikace a ukazuje, ...
The aim of this thesis is to analyze the usability of one of the most popular O/R mapping frameworks (Hibernate). It examines, whether Hibernate somehow influences an architecture or a performance of the system, which uses ...
The aim of this thesis is to analyze the usability of one of the most popular O/R mapping frameworks (Hibernate). It examines, whether Hibernate somehow influences an architecture or a performance of the system, which uses ...
Locating Performance Changes in Source Code
Locating Performance Changes in Source Code
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kalibera, Tomáš
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V regresivním testování výkonnosti je často komplikované najít změnu ve zdrojovém kódu, která způsobila změnu výkonnosti detekovanou dílčím výkonnostním testem. Protože změn je typicky hodně, ruční prohledání všech změn a ...
In regression benchmarking, it is often complicated to locate the source code modification which caused a performance change detected by a particular benchmark. Manually examining all modifications and resolving if some ...
In regression benchmarking, it is often complicated to locate the source code modification which caused a performance change detected by a particular benchmark. Manually examining all modifications and resolving if some ...