Font Size:
a
A
A
Keyword [Verification]
Result: 161 - 180 | Page: 9 of 10
161.
Research On Formal Verification Method For VLSI Design
162.
Research On Authentication Test Theory In Formal Analysis Of Security Protocols
163.
Research And Application Of Several Key Techniques In Petri Nets
164.
Mapping & Merging Of Heterogeneous Ontologies Based On Fuzzy Similarity And Verificaiton
165.
Study On Key Problems In Off-line Signature Verification
166.
Secure Node Positioning In Wireless Sensor Networks
167.
Study Of Web Service Composition Based On Petri Nets
168.
Object-oriented MSVL And Its Application To Verification Of Composite Web Services
169.
Research On Low Quality Fingerprint Image Processing And Feature Matching
170.
Research On Signature Schemes Applicable For Devices With Limited Computing Capability
171.
Research On Control Flow Error Checking Algorithm Based On Assembly Language
172.
Formal Verification Method For Digital Circuits Based On Finite Ring Polynomials
173.
Research On Software Architecture Technologies Of Self-Adaptive Systems
174.
Modeling And Verifying Complex Security Protocols
175.
Algorithm & Front End Implementation For Graphics Engine In Large-Size LCD
176.
Non-contact Measurement And Evaluation Of Cylindricity Based On Area-array Sensing Technique
177.
Modeling And Analyzing Metamodel Of Network Software Requirement Based On Web Service
178.
Research On Formal Methods For Cryptographic Protocols Analysis
179.
Research On Open Temporal Logic Based Formal Verification And Modular Reasoning Of Aspect-Oriented Programs
180.
Study Of The Optical Encryption And Verification Techniques
<<First
<Prev
Next>
Last>>
Jump to
