1.
Describing and Verifying Web Service Using Type Theory;
类型理论在Web服务描述和验证方面的应用
2.
Research on Description and Verification of Traffic Web Services Based on Pi-Calculus
基于Pi演算的交通Web服务组装的描述和验证
3.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
4.
Formal Description and Verification of SoC Based on Projection Temporal Logic;
基于投影时序逻辑的片上系统形式化描述和验证
5.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
6.
Dynamic-Language Based System Description, Verification, and Synthesis
基于动态语言的系统描述、验证和综合
7.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
8.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
9.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
10.
An error occurred validating the cluster security descriptor:
验证群集安全描述符时，出现了一个错误:
11.
Properties Description and Verification of C Program Based on Specification Patterns;
基于规约模式的C程序性质描述与验证
12.
Research on Right Expression Language and Its Implementation;
权利描述语言的学习研究及其验证系统的实现
13.
Study of Specification and Verification of Protocols Based on Extended Time Petri Nets;
基于扩展时间Petri网的协议描述与验证研究
14.
Verification of Intrinsic Frames of Reference in Spatial Representation Acquired from Texts;
内在参照系理论在文本描述空间表征中的验证
15.
Formal Description and Verification of TCP Protocol Based on Colored Petri Net
基于着色Petri网的TCP协议的形式化描述及验证
16.
The sensor described above is already working in several industrial and experimental applications and has proved its accuracy and effectiveness.
上面所描述的传感器已在几项工业和实验的应用中发挥作用，它的精度和效果已得到证明。
17.
OWL is another XML-based language used for describing and reasoning ontologies
owl是描述和论证存在论的另外一种基于XML
18.
Spirit Speaks - Expansive description of out of body experiences and lucid dreaming.
讲精神膨胀描述出体经验和明晰的梦想.