Font Size:
a
A
A
Keyword [-calculus]
Result: 21 - 40 | Page: 2 of 10
21.
The Petri Net Based On The π-calculus And The Formal Analysis For Cryptographic Protocols
22.
Research On Heterogonous Components Interoperability Technique
23.
Studies On Calculus Theory And Reasoning Of Propositional Universal Logic
24.
The Research On Service Composition In Service-Oriented Computing
25.
Study On Upper Bound Models Of Performance In Self-Similar Network With Network Calculus
26.
Study Of Networked Control System Based On Switched Ethernet
27.
Study On Algebra Methods For Cryptographic Protocol Verification
28.
Research On Dynamic Updating Based-on Object-Oriented Software
29.
On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
30.
Research On Some Problems Of Formal Ontology Engineering
31.
Modeling And Analyzing Web Transactions
32.
Model Checking For Mobile Ambients
33.
Research On The Theory And Application Of The State π Calculus Based Formal Verification For Grid Service Flows
34.
Research On Granular Rough Theory And Key Issues In Computational Web Intelligence
35.
Network Service Analysis: A Statistical Calculus
36.
Study Of Formal Model Of Web Services Composition
37.
Study On CPN In Model The Mobile Communication Service Based On PI-calculus And Its Applications
38.
Research On Access Control Model And Security Analysis In Workflow Systems
39.
Research On Key Issues Of Lightweight Real-Time Communication
40.
Some Applications Of Geometric Calculus Of Variation In Digital Image Processing
<<First
<Prev
Next>
Last>>
Jump to
