Výsledky vyhledávání
- 1.0318689 - ÚI 2009 SIGLE CZ eng V - Výzkumná zpráva
Rydvan, Pavel
Schemes of Multiagent Systems.
Prague: ICS AS CR, 2005. 8 s. Technical Report, V-943.
Grant CEP: GA ČR(CZ) GD201/05/H014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software agents * multiagent systems * schemes * genetic algorithms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0168032Název souboru Staženo Velikost Komentář Verze Přístup v943-05.pdf 9 208.2 KB Jiná povolen - 2.0308905 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
Wiedermann, Jiří - Petrů, L.
Communicating Mobile Nano-Machines and Their Computational Power.
Prague: ICS AS CR, 2008. 9 s. Technical Report, V-1024.
Grant CEP: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: molecular communication * nanomachines * timed probabilistic automata * universal computing
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0161214Název souboru Staženo Velikost Komentář Verze Přístup v1024-08.pdf 15 189.1 KB Jiná povolen - 3.0089341 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
Wiedermann, Jiří - Petrů, Lukáš
On the Universal Computing Power of Amorphous Computing Systems.
Prague: ICS AS CR, 2007. 11 s. Technical Report, V-1009.
Grant CEP: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: amorphous computing systems * universal computing * E random access machine * simulation * complexity
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0150582Název souboru Staženo Velikost Komentář Verze Přístup v1009-07.pdf 16 238.1 KB Jiná povolen - 4.0085639 - ÚI 2008 CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František - Kofroň, Jan
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker.
[Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker.]
Prague: Department of Software Engineering, Charles University, 2006. 17 s. Technical Report, 2006/2.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * software components * behavior protocols * Java PathFinder
Trvalý link: http://hdl.handle.net/11104/0148105 - 5.0085633 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Extending Behavior Protocols With Data and Multisynchronization.
[Rozšíření Behavior Protocols o data a multisynchronizaci.]
Prague: Department of Software Engineering, Charles University, 2006. 19 s. Technical Report, 2006/10.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior protocols * formal verification * software components
Trvalý link: http://hdl.handle.net/11104/0148101 - 6.0085632 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Software Component Verification: On Translating Behavior Protocols to Promela.
[Ověřování softwarových komponent: O překladu Behavior Protocols do Promely.]
Prague: Department of Software Engineering, Charles University, 2006. 10 s. Technical Report, 2006/11.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * software components * PROMELA * behavior protocols
Trvalý link: http://hdl.handle.net/11104/0148100 - 7.0040741 - ÚI 2007 SIGLE CZ eng V - Výzkumná zpráva
Petrů, L. - Wiedermann, Jiří
A Model of an Amorphous Computer and Its Communication Protocol.
Prague: ICS AS CR, 2006. 8 s. Technical Report, V-970.
Grant CEP: GA AV ČR 1ET100300419; GA ČR GD201/05/H014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: amorphous computing * networks * communication protocols * random graphs * complexity
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0134394Název souboru Staženo Velikost Komentář Verze Přístup v970-06.pdf 17 206.8 KB Jiná povolen