Font Size: a A A
Keyword [Predicate]
Result: 1 - 20 | Page: 1 of 9
1. Research On Code Obfuscation Model
2. Research On Fine Grained Access Control Mechanisms Based On Attribute Based Encryption Systems
3. Compiling Design And Optimization For BWDSP
4. Study On Temporal Role Delegation Graph Model And Its Analysis
5. Research On Technology In Binary Translation For IA-64 Architectural Characteristics Optimized Code
6. Research On Feature-based Semantic Role Labeling For English And Chinese
7. The Key Problem Research On Softerware Protect
8. The Research On The Integrated Knowledge Mining System For The Pollution In The Agro-Product Area
9. Research On Architecture Meta-model And Model Transformation Methodology In Domain Software Development
10. Logical Approach In The Security Analysis Of Cryptographic Protocols - A New Ban-like Logic
11. Gene Expression Programming Core Technology Research
12. Predicate Compiler Technology And Deep Code Optimization
13. An RSA-Based Probabilistic Public-key Cryptosystem
14. Extending A Model-Checking Tool With Non-trivial Data Structures
15. The Study Of Formal Specification Based On UML
16. The Go Death And Life Knowledge Discovery System Based On Logic Reasoning And Machine Learning
17. Research And Implementation Of The First Order Predicate Logic Operator Automatic Refinement In Z Specification
18. Study Of Chunk System Oriented To Sentence Parsing
19. A Multi-angled Study On The Newspaper Headline
20. The Application Of Petri Net In Manufacturing Production Logistics System
  <<First  <Prev  Next>  Last>>  Jump to