Hledat
Zobrazují se záznamy 11-16 z 16
Behavior Composition in Component Systems
Behavior Composition in Component Systems
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In order to formally verify a component application, it is suitable to structure the formal specification of its behavior according to the application architecture. Such an approach eases the maintenance of the specification ...
Generating Connectors for Homogenous and Heterogenous Deployment
Generating Connectors for Homogenous and Heterogenous Deployment
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Software connectors are typically used in component-based engineering to model and realize component interconnections. Connectors play an important role both at design time, when they allow for specifying the way components ...
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 ...
Syllable-Based Compression
Slabiková komprese
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2009
Datum obhajoby: 31. 03. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Classic textual compression methods work over the alphabet of characters or alphabet of words. For languages with rich morphology as well as for compression of smaller files it can be advantageous to use an alphabet of ...
Formal Verfication of Components in Java
Formal Verfication of Components in Java
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Formal veri cation of a hierarchical component application involves (i) checking of behavior compliance among sub-components of each composite component, and (ii) checking of implementation of each primitive component ...
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, ...