Hledat
Zobrazují se záznamy 1-7 z 7
Quantitative analysis of networked environments to improve performance of information systems
Quantitative analysis of networked environments to improve performance of information systems
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Fighting the State Explosion Problem in Component Protocols
Fighting the State Explosion Problem in Component Protocols
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Hierarchical associative memories
Hierarchical associative memories
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
XML Data in (Object-) Relational Databases
XML Data in (Object-) Relational Databases
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: As XML has become a standard for data representation, it is inevitable to propose and implement techniques for e±cient managing of XML documents. A natural alternative is to exploit features and functions of (object-)relational ...
Addsessing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine
Sestavovani a adaptace aplikaci na zadost s pouzitim mechanismu runtime intentional versioning
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 31. 10. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The World Wide Web has been changing rapidly in the past few years due to the emergence and fast adoption of large variety of new internet-enabled devices: starting with web-enabled phones through converged appliances, ...