Font Size:
a
A
A
Keyword [Formalization]
Result: 41 - 60 | Page: 3 of 8
41.
Research On A Formal Model Of Web Services
42.
Design And Implementation Of Personnel Training System Based On Workflow
43.
Research On Mapping Requirement Analysis To Software Architecture Based On UML And Z
44.
Study On Technology Of Transport Security Of Mobile Business Using XML And J2ME
45.
Models And Formalization Of Concurrent Real-time Systems
46.
On The Discretization And Formalization Of SLDDS Problems
47.
Research On Formalization Of Systems Modeling Language Based On RCOS
48.
The Research And Application Of B Language And Method In Algorithm Formalization
49.
The Study And Application Of UML And XYZ/ADL In Produce Task Manager System
50.
A Research On Formal Analysis Of Authentication Protocols With CSP Approach
51.
A Research On The Formal Analysis Of Quantum Cryptography Protocols
52.
The Design And Implementation Of Security Requirement Tool Based On Attack Patterns
53.
SOA-Oriented Contract Mutation Testing Technology Research
54.
The Studying Of Negotiation Strategy In Automated Trust Negotiation
55.
Application Of Lightweight Ontology In Access Control
56.
Research Of Automatic Composition Based On Formalization For Semantic Web Service
57.
Research On Formalization Of UML Based On Petri Net
58.
Formalization Of The Parallel Real-time System In BRCC
59.
Requirements Elicitation And Formalization Modeling Based On Scenarios And Properties
60.
Design And Analysis Of Video Payment Protocols
<<First
<Prev
Next>
Last>>
Jump to
