1.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
2.
Study of Specification and Verification of Protocols Based on Extended Time Petri Nets;
基于扩展时间Petri网的协议描述与验证研究
3.
Specification of multi-agent interaction protocols based on ontology and conversation policy
基于本体和会话策略的多主体交互协议描述方法
4.
She described the agreement at full length.
她详细地描述这个协议。
5.
Descriptive name for the combination of session layer and transport protocol.
会话层和传输协议组合的描述名。
6.
The Description of Transport--Layer Protocol in LOTOS under the Environment of OSI;
OSI环境传输层协议的LOTOS描述
7.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
8.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法
9.
transport: A transport tModel is a specific type of protocol.
transport: 传输tModel描述的是一种特定类型的协议。
10.
This paper discusses formal description style of communication protocol for computer networks.
研讨计算机网络通信协议的形式描述风格。
11.
Protocol Test Sequence Generation Based on Formal Specification;
基于形式化描述的协议测试序列生成技术
12.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
13.
Formal Description and Verification of TCP Protocol Based on Colored Petri Net
基于着色Petri网的TCP协议的形式化描述及验证
14.
Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究
15.
The protocol does not offer conference control services, nor does it prescribe how a conference is to be managed.
该协议既不提供会议控制服务，也不描述会议将如何管理。
16.
The method is based on the formal EBE model that specifies only the external behavior of a protocol.
外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。
17.
Second, we'll review the licensing agreement that outlines the terms of use of %1.
第二，我们来一起回顾描述%1的使用条件的许可协议。
18.
Describe and give the date of every act or omission that you claim is a breach of the agreement.
描述并给出您指称的每一违反协议的作为或不作为的发生日期。