Font Size: a A A
Keyword [partial order]
Result: 1 - 20 | Page: 1 of 3
1. Privilege Management With Parametres And Partial-order Sturcture
2. Slicing Execution For Verification Of C Programs
3. Research On Key Issues Of Mobile Ambients And Model Checking Applications
4. Stutter-invariant PPTL And Model Checking
5. Decidability, Complexity, Expressiveness And Model Checking Of Propositional Projection Temporal Logic
6. Hierarchical Model-Based Diagnosis And Preferring Diagnosis Using A Partial Order On Assumptions
7. Evolutionary Technique And Its Application In Computer-aided Conceptual Design
8. Research Of Order Relation Based On Pansystems Theory And Measures
9. Research On Concurrent System Modeling And Model Checking Based On Process Algebra
10. Research On Entity Relation Recognition Based On Dynamic Granulation Theory
11. Research On Frequent Sequential Pattern Mining Compression Using Approximate Partial Order
12. Research On Model Checking Of Concurrent System Based On Partial-order Reduction
13. Research On Knowledge Acquisition From Partial Order Decision Table Based On Rough Sets Theory
14. Software Migration Based On Refactoring Partial-Order Planning
15. Framework Description Of Population Migration Algorithm And Its Application
16. Rough Set Theory In Knowledge Discovery Applications
17. Research On State Space Reduction Technology For Security Protocol Based On Partial Order Reduction
18. Research On Data Encryption Mechanism For Multi-Tenant Data Privacy Protection
19. Research On Multi-objecitve Optimization Of The Pedestrian Evacuation In Stadium Based On Partitioned Network
20. Research On Algorithm Of Structural Diagrams Of Attribute Partial Order Based On The Theory Of Attribute Partial Order
  <<First  <Prev  Next>  Last>>  Jump to