全部

1·In other words, they needed a formal model of computation.

换名话说，精确计算机需要一个正规的计算模式。

2·First, we developed a formal model, namely ISTWM, for transactional workflows.

本文首先提出了一个事务工作流模型IST WM。

3·A formal model is proposed to describe time character of constraint in this paper.

提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。

4·This isn't a formal model (heh), it's simply my favorite analogy for software development.

这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。

5·Manufacturers can provide colorful formal model for color card for consumers to choose.

正规厂家能提供色彩丰富的样板色卡供消费者选择。

6·This paper USES the formal model to acquire Chinese Q-A patterns and Chinese-English terminology pairs.

本文将学习模型应用到中文问答对和中英文术语对的抽取中。

7·In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.

本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。

8·The architecture is expressed as a formal model in UML, using a tool like Rational Software architect to create it.

体系结构采用UML表述为正式的模型，要使用Rational Soft ware Architect之类的工具创建此模型。

9·A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.

本文中用一种正式的模型来分析企业之间的冲突与合作。

10·Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.

事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。