Font Size:
a
A
A
Keyword [Pi calculus]
Result: 1 - 20 | Page: 1 of 5
1.
The Research On Service Composition In Service-Oriented Computing
2.
Study On Algebra Methods For Cryptographic Protocol Verification
3.
Study Of Formal Model Of Web Services Composition
4.
Study On CPN In Model The Mobile Communication Service Based On PI-calculus And Its Applications
5.
Research On Access Control Model And Security Analysis In Workflow Systems
6.
Research On Synergistic Learning Technologies
7.
Key Technologies Research Of Next Generation Mobile Internet Based On User Behavior
8.
Key Technologies On Service Oriented Grid Workflow
9.
Research On The Attributes Of Adaptive Software Architecture
10.
Research And Implement On Application Integrated Based On Workflow Model
11.
From Transaction Processing To Reliable Service Composition
12.
Coordinate Multi-agent With Organization In Distributed Scheduling System
13.
Transforming Pi Calculus-based Model For Web Service Composition To WSDL
14.
Research On Relation Between Pi-Calculus And Dynamic Description Logic DDL And Its Application
15.
Research On Agent Interactions Based On Pi-Calculus
16.
Research On Formal Verification Of Web Services Flow Based On Pi-Calculus
17.
Model And Verify The Mobile Communication Service Based On PI-calculus
18.
Verification Of Web Servies Composition Based On Pi-Calculus
19.
Research On The Web Services Composition Based On QoS In Service-Oriented Computing
20.
Research On Pi-calculus-Based Software Architecture Refinement
<<First
<Prev
Next>
Last>>
Jump to
