Font Size:
a
A
A
Keyword [Verifying]
Result: 21 - 40 | Page: 2 of 6
21.
Research On Framework For Verifying AOP Programs Based On Runtime Verification
22.
Analyzing And Verifying Network Protocols By Model Checking
23.
Verifying Parallel Low-Level Programs For Multi-core Processor
24.
The Research Of Content Protection Technology For Digital TV Terminal Interface Based On RSA
25.
Task-Oriented Research And Implementation On Basic Requirement Model For ISR System
26.
Study On High-precision Portable Temperature-verifying Equipment
27.
Source Address Validation Architecture Based On Stateless Core Approach
28.
Design And Application Of PKI In Verifying Identities And Encrypting In The Internet Banking
29.
Research On Technologies Of Self-Verifying And Self-Updating Of Satellite Network Management System
30.
Research And FPGA Design Of Multiuser Detection Algorithm Based On DCD Interation
31.
Modeling And Verifying Multithreaded Discrete Event Simulation Lanaguage In PVS
32.
Dynamic Properties Judgments Of Colored Petri Nets And Application In The Assembly Line
33.
Analyzing And Verifying The Privacy Of Data In WS-BPEL Process Based On Automata
34.
Analyzing And Verifying The Privacy Of Data In Ws-bpel Process Based On Automata
35.
Visual Workflow Modeling Tool And Its Implementation
36.
Analysis And Design Of Data Test Management System
37.
Describing And Verifying Web Service Using Pi-Calculus
38.
Research On Workflow And Algorithms Of Distributed Cooperative Platform For Satellite Mission Scheduling
39.
Three New Issues Research Of Dialectics During The Process Of Internet Rumors Spreading
40.
The Design And Implementation Of Rating Model Verifying System Of Commercial Bank
<<First
<Prev
Next>
Last>>
Jump to
