Font Size:
a
A
A
Keyword [?-calculus]
Result: 181 - 200 | Page: 10 of 10
181.
Modeling Service-Oriented Architecture Based On Process Algebra
182.
Formal Analysis And Verification Of A Transaction Coordination Protocol Named WS-TX For Web Services
183.
Research On Streaming Media Transmission QoS Strategy Based On Network Calculus
184.
Design And Implementation Of Description Model For Provable Security Automatic Analyse Of Public-key Cryptographic Schemes
185.
Formal Analysis And Verification Of A Transaction Coordination Protocol Named Ws-tx For Web Services
186.
The Design And Implementation Of Crm System Based Pi Calculus
187.
Research On Software Self-adaptive Method Based On Architecture
188.
Modeling Service-oriented Architecture Based On Process Algebra
189.
Research On Streaming Media Transmission Qos Strategy Based On Network Calculus
190.
Based On The The Monocular Multiple Images Of Three-dimensional Surface Reconstruction Of The Study
191.
Pi - Calculus Research And Implementation Of Interactive Verification Tool
192.
Concurrent Object Calculus Model And The Object Language Semantics
193.
Key Components Of Ternary Optical Computer
194.
Key Components Of Ternary Optical Computer
195.
Partial Differential Equations In Several Applications In Image Processing
196.
Calculated Based On The Incidence Of Uncertainty Reasoning Theory Study
197.
Finite Field F <sub> 2 </ Sub> On The Security Of Elliptic Curve Analysis And Its Implementation
198.
Spi-based Calculus Of Mobile Autonomous Network Security Routing Protocol Analysis
199.
Study Of Real-time Distributed Software Modeling Techniques
200.
Ws-bpel Modeling Based On The ¦Ð-calculus And Implementation
<<First
<Prev
Next>
Last>>
Jump to
