Number of found documents: 289
Published from to

Statistiky web serveru MEDARD-ONLINE rok 2004
Juruš, Pavel; Máj, Petr
2005 - Czech
Keywords: webové statistiky; operační předpověď počasí; operační předpověď kvality ovzduší Available at various institutes of the ASCR
Statistiky web serveru MEDARD-ONLINE rok 2004

Juruš, Pavel; Máj, Petr
Ústav informatiky, 2005

Specification and Generation of Environment for Model Checking of Software Compnents
Pařízek, P.; Plášil, František
2005 - English
Keywords: software components; behavior protocols; model checking; automatic environment generation Available at various institutes of the ASCR
Specification and Generation of Environment for Model Checking of Software Compnents

Pařízek, P.; Plášil, František
Ústav informatiky, 2005

Enhancing Behavior Protocols with Atomic Actions
Kofroň, Jan
2005 - English
Keywords: software components; behavior protocols; atomic actions; event synchronization Available at various institutes of the ASCR
Enhancing Behavior Protocols with Atomic Actions

Kofroň, Jan
Ústav informatiky, 2005

Handling Heterogeneity in Connector Generation
Galík, O.; Bureš, Tomáš
2005 - English
Keywords: software connectors; code synthesis; heterogeneous deployment Available at various institutes of the ASCR
Handling Heterogeneity in Connector Generation

Galík, O.; Bureš, Tomáš
Ústav informatiky, 2005

Troposférický ozón
Halenka, T.; Brechler, J.; Eben, Kryštof
2004 - Czech
Keywords: kvalita ovzduší; troposférický ozón; chemický transportní model; emise Available at various institutes of the ASCR
Troposférický ozón

Halenka, T.; Brechler, J.; Eben, Kryštof
Ústav informatiky, 2004

Addressing Heterogeneity in OMG D&C-Based Deployment
Bulej, Lubomír; Bureš, Tomáš
2004 - English
Keywords: OMG deployment; software connectors Available at various institutes of the ASCR
Addressing Heterogeneity in OMG D&C-Based Deployment

Bulej, Lubomír; Bureš, Tomáš
Ústav informatiky, 2004

Static Checking for Missing Bindings of Components
Adámek, Jiří; Plášil, František
2004 - English
Keywords: software component; behavior specification; behavior protocols; component composition Available at various institutes of the ASCR
Static Checking for Missing Bindings of Components

Adámek, Jiří; Plášil, František
Ústav informatiky, 2004

Modeling Wind Speed in the Lower PBL
Eben, Kryštof; Juruš, Pavel; Belda, Michal
2004 - English
Keywords: wind speed vertical profile; numerical weather prediction; PBL schemes; MM5 model Available at various institutes of the ASCR
Modeling Wind Speed in the Lower PBL

Eben, Kryštof; Juruš, Pavel; Belda, Michal
Ústav informatiky, 2004

Composing Connectors of Elements
Bureš, Tomáš; Plášil, František
2003 - English
Keywords: software connector; component-based programming; software architecture; middleware; component interconnections Available at various institutes of the ASCR
Composing Connectors of Elements

Bureš, Tomáš; Plášil, František
Ústav informatiky, 2003

Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí
Novák, Mirko
2003 - Czech
Keywords: neural networks; system alliances Available at various institutes of the ASCR
Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí

Novák, Mirko
Ústav informatiky, 2003

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases