Font Size: a A A
Keyword [Timed]
Result: 1 - 20 | Page: 1 of 10
1. Research On Automata-based Efficient Model Checking Algorithms
2. The Research Of Multimedia Dynamic Synchronization Model Based On Timed Petri Net And Control Mechanism
3. Study On The Petri Net Modeling And Performance Analysis Of A Testing System
4. Intrusion Detection And Active Response In Mobile Ad Hoc Networks
5. The Study Of Peer-to-Peer Network And Its Protocol Verification Based On Gnutella Protocol
6. Research On The System Of Product Data Management Based On Colored Timed Workflow Net
7. Hybrid Dynamic Petri Net Theories And Their Application In CIMS Of Hybrid Enterprise
8. On Software Architecture-based Test Cases Generation
9. Method And Implementation Of NMCSs Based On Clock Synchronization
10. The Formal Verification Techniques For The Timed System Using Timed Automata
11. Research On The Formalization Of Semantic Features And Behavior Composition For Real-Time Service Component
12. Researches On Self-adaptable Architecture Of Computing System
13. Study On Modeling, Simulation And Optimization Of The Product Designing Process
14. Content-based Multimedia Information Retrieval Research
15. Analysis And Control Of Stochastic Real Time Systems
16. On Parallel System Performance Analysis Based On TCPN
17. Study On The Application Of Formal Method In Component-based Real-time System
18. Time Varying Network Chinese Postman Problem:Integer Programming Formulations And Algorithms
19. Research And Development On Intelligent Decision Support System In Planning And Management Of Steel-making Production In Panzhihua Iron And Steel Corporation
20. Analysis And Evaluation Of Cryptographic Protocols Based On Timed Petri Nets
  <<First  <Prev  Next>  Last>>  Jump to