Font Size:
a
A
A
Keyword [correctness]
Result: 21 - 40 | Page: 2 of 7
21.
Research And Implementation Of Database Migration From Sybase To Oracle
22.
The Modeling And Analysis On Use Case Driven Role Based Access Control Based On Graph Transformation
23.
The Verification Of Petri-Net-Based Extend XinPai Driven Workflow Model
24.
Verifying Parallel Low-Level Programs For Multi-core Processor
25.
Research On Trustworthy Of Composition Web Services Based On Stochastic Petri Net
26.
Verification Of Program Correctness Based On Tense Logic
27.
Research And Implementation Of Web Services Trusted Measurement Method Based On Third Party
28.
Software Tool-Chain For The Design And Analysis Of Hybrid Embedded Systems
29.
Integrated Enterprise Modeling Correctness Evaluation
30.
The Weakest Pre-Predicate Generator Design And Implementation Based PAR
31.
The Weakest Pre-predicate Generator Design And Implementation Based Par
32.
The Model And Correctness Verification Of Parallal Programs In Embedded Multi-core Environment
33.
B1-level Mandatory Access Control Data Model And Application
34.
Verification,Validation And Accreditation Of The Satellite Navigation Signal Simulation System
35.
Graphical Workflow Modeling And Correctness Verification Methods
36.
"executive Body" Real-time Traffic Control System Modeling And Implementation Strategies
37.
Research On Durable Data Storage Mechanism In Cloud Storage System
38.
Research Of Correctness Of Web Service Composition Under Environment Constraint Based On Open Petri Net
39.
Data-aware Workflow Modeling And Verification
40.
Correctness Analysis And Network I/O Reduction For Data-parallel Programs
<<First
<Prev
Next>
Last>>
Jump to
