| 1. | Traditionally , pure xml validation techniques only extend to
传统上，纯xml验证技术只达到了对 |
| 2. | Review on the researching of nc graphic verification technology in the world
数控铣削程序图形验证技术国内外研究现状 |
| 3. | Model checking is an important technology of automatic verification
模型检验( modelchecking )是一种重要的自动验证技术。 |
| 4. | Describes how to use standard internet security and authentication techniques
描述如何使用标准的internet安全性和身份验证技术。 |
| 5. | The growing concerns about identity theft may give a boost to fingerprint - verification technology
身份窃取的问题越来越受到重视，可能会大幅推动指纹验证技术。 |
| 6. | Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。 |
| 7. | The dynamic verification and the static verification will depend on each other in the coming verification field
本文尝试将动态验证技术与静态验证技术结合应用于芯片的验证工作。 |
| 8. | One key to guarantee design quality is developing verification technologies , another important one is scientific quality management
提高芯片设计质量的关键一是先进的验证技术，二是科学的验证管理。 |
| 9. | Two main security technologies are concluded in the pki : the encryption of public - key as well as the digital signature and verification
Pki包括两个主要安全技术：公钥加密技术、数字签名和验证技术。 |
| 10. | Dynamic verification , stand stone of verification , will continue acting as an important role during the verification flow in the future
动态验证技术是验证的基础，在今后的验证流程中也将继续扮演重要的角色。 |
