Font Size:
a
A
A
Keyword [Formal Model]
Result: 1 - 20 | Page: 1 of 3
1.
Research And Implementation On Mobile Agent For Network Computing
2.
Research On Negotiation And Related Technology In Electronic Commerce
3.
Study On Formalization Design For High-Level Secure Operating System
4.
Formal Model Of Grid Component And Optimizing Algorithm
5.
Study On Dynamic Evolution Of Autonomous Decentralized Systems
6.
Research On Aspect-Oriented Software Development Method And Implementation Technology
7.
Study Of Formal Model Of Web Services Composition
8.
Research On Formal Methods For Cryptographic Protocols Analysis
9.
Research On Planning Theory And Algorithm For Cryptographic Protocol Attacks
10.
Research On Trust Management Model And Method In Electronic Commerce
11.
A Formal Model Of VSK-Agent System Combined With Mental States
12.
A BDI-VSK-T Logic-based Formal Model Of Agent System
13.
Research On The Visual Management Of Distance Education
14.
Research On A Formal Model Of Web Services
15.
Research On Planning-based Automatic Verification Technology For Cryptographic Protocols
16.
Conformance Test Of Neighbor Discovery Protocol For IPv6 Based On Finite State Machine
17.
Research Of A Formal Model For WS-CDL Based On Trace With Conditions
18.
Study Of Complex Spatial Relation Model Based On Decision Trees
19.
The Research On A Provably Security Routing Protocol For Wireless Sensor Networks
20.
Research On Formal Verification Technology For Cryptographic Module's APIs
<<First
<Prev
Next>
Last>>
Jump to
