Výsledky vyhledávání
- 1.0341253 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bulej, Lubomír - Bureš, Tomáš - Coupaye, T. - Děcký, M. - Ježek, P. - Parízek, P. - Plášil, František - Poch, T. - Rivierre, N. - Šerý, O. - Tůma, P.
CoCoME in Fractal.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 357-387. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
[Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0184294 - 2.0341251 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Mirandola, R. - Plášil, František
CoCoTA - Common Component Task.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 4-15. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
[Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component based systems * formal component models * modeling and analysis * service-oriented modeling
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0184292 - 3.0339932 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bulej, Lubomír - Bureš, Tomáš
Eliminating Execution Overhead of Disabled Optional Features in Connectors.
Software Architecture. Berlin: Springer, 2006 - (Gruhn, V.; Oquendo, F.), s. 50-65. Lecture Notes in Computer Science, 4344. ISBN 978-3-540-69271-3.
[EWSA 2006. Nantes (FR), 04.09.2006-05.09.2006]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component systems * software connectors * runtime reconfiguration
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0183301 - 4.0334307 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Mašek, K. - Hnětynka, P. - Bureš, Tomáš
Bridging the Component-Based and Service-Oriented Worlds.
[Překlenutí světů komponent a služeb.]
35th Euromicro Conference Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society, 2009, s. 47-54. ISBN 978-0-7695-3784-9.
[SEAA 2009. EUROMICRO Conference on Software Engineering and Advanced Applications /35./. Patras (GR), 27.08.2009-29.08.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: components * services * OSGi * integration
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179079 - 5.0334304 - ÚI 2010 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Libič, P. - Tůma, P. - Bulej, Lubomír
Issues in Performance Modeling of Applications with Garbage Collection.
[Problémy při modelování výkonu aplikací s garbage kolekcí.]
Foundations of Software Engineering. Amsterdam: ACM, 2009, s. 3-10. ISBN 978-1-60558-709-7.
[QUASOSS '09. International Workshop on Quality of Service-Oriented Software Systems. Amsterdam (NL), 25.08.2009-25.08.2009]
Grant CEP: GA ČR GD201/09/H057; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: garbage collector * java * performance evaluation
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179077 - 6.0334299 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Parízek, P. - Šerý, O.
On Teaching Formal Methods: Behavior Models and Code Analysis.
[Výuka formálních metod: Modely chování a analýza kódu.]
Teaching Formal Methods. Berlin: Springer, 2009 - (Gibbons, J.; Oliveira, J.), s. 144-157. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8.
[TFM 2009. International Conference Teaching Formal Methods /2./. Eindhoven (NL), 02.11.2009-06.11.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal methods * code analysis * teaching
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179074 - 7.0334292 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ježek, P. - Bureš, Tomáš - Hnětynka, P.
Supporting Real-life Applications in Hierarchical Component Systems.
[Zlepšení podpory pro vývoj reálných aplikací v hierarchických komponentových systémech.]
Software Engineering Research, Management and Applications. Berlin: Springer, 2009 - (Lee, R.; Ishii, N.), s. 107-118. Studies in Computational Intelligence, 253. ISBN 978-3-642-05440-2.
[SERA 2009. International Conference on Software Engineering Research, Management and Applications /7./. Haikou (CN), 02.12.2009-04.12.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component systems * architecture patterns * software development
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179069 - 8.0334268 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Bureš, Tomáš - Hnětynka, P. - Malohlava, M.
Using a Product Line for Creating Component Systems.
[Aplikace product line konceptu na tvorbu komponentových systémů.]
Proceedings of the 2009 ACM Symposium on Applied Computing. New York: ACM, 2009 - (Shin, D.), s. 501-508. ISBN 978-1-60558-166-8.
[SAC 2009. Annual ACM Symposium on Applied Computing /24./. Honolulu (US), 08.03.2009-12.03.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component systems * generative programming * product line engineering * runtime environment
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179051 - 9.0328424 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bureš, Tomáš - Hala, J. - Hnětynka, P.
Using Connectors to Address Transparent Distribution in Enterprise Systems - Pitfalls and Options.
[Nástrahy a možnosti při použití konektorů k řešení transparentní distribuce v enterprise systémech.]
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Berlin: Springer, 2009 - (Lee, R.; Ishii, N.), s. 81-92. Studies in Computational Intelligence, 209. ISBN 978-3-642-01202-0.
[SNPD 2009. ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing /10./. Daegu (KR), 27.05.2009-29.05.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * software connectors * middleware
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0174741 - 10.0317378 - ÚI 2009 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Malohlava, M. - Bureš, Tomáš
Language for reconfiguring runtime infrastructure of component-based systems.
[Jazyk pro rekonfiguraci runtime infrastruktury komponentových systémů.]
Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University and Technical University Brno, 2008 - (Novotný, Z.), s. 156-163. ISBN 978-80-7355-082-0.
[MEMICS 2008. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science /4./. Znojmo (CZ), 14.11.2008-16.11. 2008]
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component based systems * runtime reconfiguration * runtime environment
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0167039