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
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
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
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
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
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
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
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
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
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í
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
Other bases