1.
Differential attestation approach for TOCTOU
解决度量-验证时间差的一种差值证明方法
2.
An Experimental Validation of the Dynamical Inconsistency of Time Preference
时间偏好动态不一致的一个实验验证
3.
Study on MTBF Assurance Test Risks
平均故障间隔时间保证试验风险研究
4.
Specifies the length of time (in seconds) between the time that a call connects and the time that authentication is complete.
指定呼叫连接时间和验证完成时间之间的时间长度 (以秒表示)。
5.
Only time will show the result of the experiment
只有时间才能证明实验的结果。
6.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
7.
Numerical simulation of freezing time of shelled shrimps in an air blast freezer and experimental verification
鼓风冻结虾仁时间的数值模拟及实验验证
8.
Formal Modeling and Verification of Real-time Systems Based on Time Automation;
基于时间自动机的实时系统形式化建模与验证
9.
Security validation time-out must be between 1 and 50000 minutes
安全验证超时值必须介于1和50000分钟之间
10.
The Estimation of Multivariate Time Series Model and Financial Applications;
多变量时间序列模型的参数估计及其实证检验
11.
Research of Model Predictive Control for Batch Reactor and Application on the Real-Time Simulation Platform;
间歇反应过程的预测控制与实时仿真平台验证
12.
Study of Specification and Verification of Protocols Based on Extended Time Petri Nets;
基于扩展时间Petri网的协议描述与验证研究
13.
Application of spectrum estimation for verifying the financal time series model;
谱估计在金融时间序列模型验证中的应用
14.
Leisure Time and Economic Growth:--Evidence from the Chinese Data;
闲暇时间与经济增长——兼对中国数据的实证检验
15.
Research of Time Modling and Its Consistency Verification in Workflow System
工作流系统中时间建模及其一致性验证研究
16.
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
17.
Validation Protocol for Mobile Real-time Transaction Based on Reserved Broadcast Space
移动实时事务预留广播空间的验证协议
18.
Survey on Modelling and Verification of Time Sensitive Security Protocol
时间敏感的安全协议建模与验证:研究综述