您要查找的是不是：
- The formal definition of Stilwell's assignment was meaningless, because the two principals in the agreement read it differently. 要给史迪威的使命下一个正式定义是没有意义的，因为协议中双方主要人物对之解释不同。
- A design pattern provides a formal definition of a solution and of the problems to which it applies. 设计模式提供了一种解决方案,以及其适用问题的正式定义。
- In a more formal definition, topic specialization starts with the containing element and works from the top down. 在更正式的定义中,主题专门化从包含元素开始,自顶向下工作。
- They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM). 他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。
- The formalized definition of RW is given.The algorithms used for workflow execution and the strategy of the flexible process modification are described. 给出了RW的形式化定义，并描述了工作流执行算法和工作流柔性化过程修改策略。
- A method of schema mapping in multidatabase systems was introduced and an uniform formalized definition for horizontal, vertical, mixed, correlative and local mappings was given. 提出了一种多数据库系统的模式映射方法,并对水平映射、垂直映射、混合映射、相关映射和局部映射给出了一种统一的形式化描述。
- In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper. 为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
- What is its formal definition? 它的正式定义是什么?
- The paper first gives the formal definition of TU model, t hen study and analyse TU model by instance deeply, and gives the advan tage and disadvantage, on the base of that, the paper suggests an idea studying TU model next. 给出了tu模式的形式化定义，并结合实例对该模式进行了深入的分析和研究，指出了其优缺点，并提出了对该模式的下一步研究思想。
- Using our field data and the existing literature on bricolage, we advance a formal definition of entrepreneurial bricolage and induce the beginnings of a process model of bricolage and firm growth. 运用我们实地取得的数据和已有的关于利用现成资源的文献，我们发展了企业利用现成资源的正式定义，并引出关于利用现成资源和企业增长的过程模型。
- In doing so, a formal definition of the service can be extended to support policies based upon endpoint definitions. 完成这些之后,服务的标准定义可以被扩展为多个端点之上策略支持。
- A series of formal definitions, such as the Data parallel computing Grid (DG), were given. 给出了由多计算机机群组成的网格(Data Parallel Computing Grid-DG)等一系列形式化定义。
- The formal definitions of OWL ontology and relational database (RDB) schema were given. 摘要给出了OWL本体和关系数据库模式的形式定义；
- I don't always strictly define the programming concepts, because formal definitions can be distracting. 我不总是严格定义编程概念，因为形式位址可能正转移。
- Can you give me a definition of this word? 你能告诉我这个单字的定义吗？
- RBAC3 models introduced in workflow, task concept, given the expanded models related concepts, formalization definition, and acts authorized by definition. 在RBAC3模型中引入了工作流、任务的概念,给出了扩展后模型的相关概念、形式化定义、授权约束及行为定义。
- While not constituting a formal definition as 由于没有形成正式定义,为开
- My duties require clearer definition. 我的职责需要更清楚的说明。
- Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science. 自动控制理论允许执行正式的计算定义，因为它引用了相关的计算机科学的其他非理论方面的概念。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
