Font Size: a A A
Keyword [Refinement]
Result: 1 - 20 | Page: 1 of 10
1. Research On Automata-based Efficient Model Checking Algorithms
2. Compressed Sensing-based Imaging Methods For High-Resolution Radar
3. Key Techniques Research On Data Processing For The Defect Inspection Of Product Surfaces Based On Machine Vision
4. Research On T-Splines Modeling Technology
5. Analysis-suitable T-splines
6. Research On Technology Of Software Protection And Malicious Code Detection Based On Code Obfuscation
7. Research On Information Flow Security Of Cloud Computing Based On Noninterference Models
8. Design And Implementation Of A Verification Framework For Preemptive OS Kernels
9. Research On Software Architectural Formalism Based On π Calculus
10. SOZRSL Software Requirement Specification Language And Refinement
11. Compositional Verification Based On Interface Automata
12. Research On Case-based Spatial Data Retrieval
13. The Query Techniques Of Spatial Database On R-tree
14. Research On Architecture-Based Software Dynamic Evolution
15. Symmetry And Action Refinement
16. Interactive Markov Chains: Theory And Applications
17. Automatic Synthesis Of Asynchronous Circuits Based On Action Refinement
18. Studies On Key Techniques In Fast Video Transcoding
19. Model Checking And Boolean Satisfiability Problem
20. Automatic Image Annotation And Fast Similarity Search In Image Retrieval
  <<First  <Prev  Next>  Last>>  Jump to