Počet nalezených dokumentů:
289
Publikováno od
do
Statistiky web serveru MEDARD-ONLINE rok 2004
Juruš, Pavel; Máj, Petr
2005 - český
Klíčová slova:
webové statistiky; operační předpověď počasí; operační předpověď kvality ovzduší
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
Klíčová slova:
software components; behavior protocols; model checking; automatic environment generation
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Specification and Generation of Environment for Model Checking of Software Compnents
Enhancing Behavior Protocols with Atomic Actions
Kofroň, Jan
2005 - anglický
Klíčová slova:
software components; behavior protocols; atomic actions; event synchronization
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Enhancing Behavior Protocols with Atomic Actions
Handling Heterogeneity in Connector Generation
Galík, O.; Bureš, Tomáš
2005 - anglický
Klíčová slova:
software connectors; code synthesis; heterogeneous deployment
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Handling Heterogeneity in Connector Generation
Troposférický ozón
Halenka, T.; Brechler, J.; Eben, Kryštof
2004 - český
Klíčová slova:
kvalita ovzduší; troposférický ozón; chemický transportní model; emise
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Troposférický ozón
Addressing Heterogeneity in OMG D&C-Based Deployment
Bulej, Lubomír; Bureš, Tomáš
2004 - anglický
Klíčová slova:
OMG deployment; software connectors
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Addressing Heterogeneity in OMG D&C-Based Deployment
Static Checking for Missing Bindings of Components
Adámek, Jiří; Plášil, František
2004 - anglický
Klíčová slova:
software component; behavior specification; behavior protocols; component composition
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Static Checking for Missing Bindings of Components
Modeling Wind Speed in the Lower PBL
Eben, Kryštof; Juruš, Pavel; Belda, Michal
2004 - anglický
Klíčová slova:
wind speed vertical profile; numerical weather prediction; PBL schemes; MM5 model
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Modeling Wind Speed in the Lower PBL
Composing Connectors of Elements
Bureš, Tomáš; Plášil, František
2003 - anglický
Klíčová slova:
software connector; component-based programming; software architecture; middleware; component interconnections
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Composing Connectors of Elements
Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí
Novák, Mirko
2003 - český
Klíčová slova:
neural networks; system alliances
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Umělé neuronové sítě a jejich aplikace v teorii systémových aliancí
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze