Search results
- 1.0318689 - ÚI 2009 SIGLE CZ eng V - Research Report
Rydvan, Pavel
Schemes of Multiagent Systems.
Prague: ICS AS CR, 2005. 8 s. Technical Report, V-943.
R&D Projects: GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : software agents * multiagent systems * schemes * genetic algorithms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0168032File Download Size Commentary Version Access v943-05.pdf 9 208.2 KB Other open-access - 2.0308905 - ÚI 2008 SIGLE CZ eng V - Research Report
Wiedermann, Jiří - Petrů, L.
Communicating Mobile Nano-Machines and Their Computational Power.
Prague: ICS AS CR, 2008. 9 s. Technical Report, V-1024.
R&D Projects: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : molecular communication * nanomachines * timed probabilistic automata * universal computing
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0161214File Download Size Commentary Version Access v1024-08.pdf 15 189.1 KB Other open-access - 3.0089341 - ÚI 2008 SIGLE CZ eng V - Research Report
Wiedermann, Jiří - Petrů, Lukáš
On the Universal Computing Power of Amorphous Computing Systems.
Prague: ICS AS CR, 2007. 11 s. Technical Report, V-1009.
R&D Projects: GA AV ČR 1ET100300419; GA ČR(CZ) GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : amorphous computing systems * universal computing * E random access machine * simulation * complexity
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0150582File Download Size Commentary Version Access v1009-07.pdf 16 238.1 KB Other open-access - 4.0085639 - ÚI 2008 CZ eng V - Research Report
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.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * software components * behavior protocols * Java PathFinder
Permanent Link: http://hdl.handle.net/11104/0148105 - 5.0085633 - ÚI 2008 CZ eng V - Research Report
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.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : behavior protocols * formal verification * software components
Permanent Link: http://hdl.handle.net/11104/0148101 - 6.0085632 - ÚI 2008 CZ eng V - Research Report
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.
R&D Projects: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * software components * PROMELA * behavior protocols
Permanent Link: http://hdl.handle.net/11104/0148100 - 7.0040741 - ÚI 2007 SIGLE CZ eng V - Research Report
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.
R&D Projects: GA AV ČR 1ET100300419; GA ČR GD201/05/H014
Institutional research plan: CEZ:AV0Z10300504
Keywords : amorphous computing * networks * communication protocols * random graphs * complexity
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0134394File Download Size Commentary Version Access v970-06.pdf 17 206.8 KB Other open-access