Search
Now showing items 1-10 of 16
Quantitative analysis of networked environments to improve performance of information systems
Quantitative analysis of networked environments to improve performance of information systems
dissertation thesis (DEFENDED)
Advisor: Pokorný, Jaroslav
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In this thesis we encounter networks in three contexts i) as the citation networks between documents in citation databases CiteSeer and DBLP, ii) as the structure of e-government websites that is navigated by users and ...
Behavior Protocols Extensions
Behavior Protocols Extensions
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Formal verification of behavior of a component application requires a suitable specification language. It is necessary that the specification language captures all important aspects of the future implementation with respect ...
XPath,XSLT, XQuery: Formal Approach
XPath,XSLT, XQuery: Formal Approach
dissertation thesis (DEFENDED)
Advisor: Pokorný, Jaroslav
Date Issued: 2006
Date of defense: 21. 04. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Performance in Software Development Cycle: Regression Benchmarking
Performance in Software Development Cycle: Regression Benchmarking
dissertation thesis (DEFENDED)
Advisor: Tůma, Petr
Date Issued: 2006
Date of defense: 19. 09. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The development cycle of large software is necessarily prone to introducing software errors that are hard to find and fix. Automated regular testing (regression testing) is a popular method used to reduce the cost of finding ...
Fighting the State Explosion Problem in Component Protocols
Fighting the State Explosion Problem in Component Protocols
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition ...
Conceptual Modeling for XML
Konceptuální Modelování XML
dissertation thesis (DEFENDED)
Advisor: Pokorný, Jaroslav
Date Issued: 2008
Date of defense: 29. 09. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: XML is a popular format for data representation. As the amount of data represented in XML grows, it is necessary to concentrate on the process of modeling XML schemes of the XML representations. However, modeling the XML ...
Principles of Kind Parsing
Principles of Kind Parsing
dissertation thesis (DEFENDED)
Advisor: Král, Jaroslav
Date Issued: 2006
Date of defense: 20. 12. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Hierarchical associative memories
Hierarchical associative memories
dissertation thesis (DEFENDED)
Advisor: Mrázová, Iveta
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The progress in information technologies enables applications of artificial neural networks even in areas like navigation and geographical information systems, telecommunications, etc. This kind of problems requires robust ...
Connector-based Performance Data Collection for Component Applications
Connector-based Performance Data Collection for Component Applications
dissertation thesis (DEFENDED)
Advisor: Tůma, Petr
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In this work, we propose a generic approach to collection of performance data for hetero-geneous component-based applications with the aim to provide easier and less costly access to performance data needed for measurement ...
Bulk Evaluation of User-Defined Functions in XQuery
Hromadné vyhodnocování uživatelských funkcí v jazyce XQuery
dissertation thesis (DEFENDED)
Advisor: Král, Jaroslav
Date Issued: 2009
Date of defense: 11. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: XPath queries are usually translated into an algebra that combines traditional relational operators and XML-speciffic ones. In particular, FLWOR loops are represented using nest, unnest, join, and similar operators and ...
Dotazy v jazyce XPath jsou obvykle překládány do algebraického systému kombinujícího tradiční relační operátory s operátory specifickými pro XML. Konstrukce FLWOR jsou pak reprezentovány operátory nest, unnest, join a ...
Dotazy v jazyce XPath jsou obvykle překládány do algebraického systému kombinujícího tradiční relační operátory s operátory specifickými pro XML. Konstrukce FLWOR jsou pak reprezentovány operátory nest, unnest, join a ...