Project information
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Project Identification
- GD102/09/H042
- Project Period
- 1/2009 - 12/2012
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Doctor grants
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Brno University of Technology
- Responsible person prof. RNDr. Milan Češka, CSc.
Publications
Total number of publications: 78
2009
-
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Year: 2009, type:
-
MUFIN: A Multi-Feature Indexing Network
2nd International Workshop on Similarity Search and Applications, year: 2009
-
One Size Does Not Fit All - How to Approach Intrusion Detection in Wireless Sensor Networks
MEMICS 2009 Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2009
-
One size does not fit all - how to approach intrusion detection in wireless sensor networks
Selected papers of Mathematical and Engineering Methods in Computer Science (MEMICS), year: 2009
-
Query Routing Mechanisms in Self-organizing Search Systems
2nd International Workshop on Similarity Search and Applications, year: 2009
-
Reachability in Stochastic Timed Games
Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, greece, July 5-12, 2009,Proceedings, Part II, year: 2009
-
Similarity Search in Large Collections of Biometric Data
NATO RTO Modelling and Simulation Group Symposium, year: 2009
-
Space Effective Model Checking for Component-Interaction Automata
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), year: 2009