Font Size:
a
A
A
Keyword [Automata]
Result: 1 - 20 | Page: 1 of 10
1.
Research On Automata-based Efficient Model Checking Algorithms
2.
Research On Component-based Embedded Software Safety Analysis Methods
3.
Cellular Automata-based Differential Evolution Algorithm And Its Applications In Communication Systems
4.
Research On Optimization Techniques For Bounded Model Checking Of Hybrid Systems
5.
The Study Of Analysis And Synthesis For Hybrid Systems
6.
Some Results Of Finite Automata Invertibility
7.
Cellular Automata Applied In Cryptography
8.
Analysis And Design Of Block Ciphers
9.
Research On Some Main Technique Of Hybrid Dynamical System
10.
Intrusion Detection And Active Response In Mobile Ad Hoc Networks
11.
Modelling And Analyzing Behaviors Of Tunnelled Virtual Networks
12.
Compositional Verification Based On Interface Automata
13.
The Complexity Of Time Series Generated By Cellular Automata
14.
Study And Applications Of Automaton And Chain Code
15.
Research On Some Key Technologies Of Web Services Discovery
16.
Research Of Image Segmentation Methods Based On Fuzzy Systems Theory
17.
Research On Fine-grained Software Rejuvenation Policy And Related Techniques
18.
Research On Key Techniques Of Web Services Composition
19.
Path Expressions' Optimization And Its Evaluation Techniques For XML Query And Filtering
20.
A Grid Theoretical Model And Its Application
<<First
<Prev
Next>
Last>>
Jump to
