The constraints security layer consists of integrity constraints, classification and inference constraints, access constraints, and application semantics constraints. The adaptive detection layer consists of active database lev-el, relation schema level, transaction level and application semantics level.

In the view of theory and implementation, a design for a user interface tool environment is discussed, which offers a practical resolution to the support of appropriate separation between user interface and application semantics.

从理论和实现的角度，探讨了一个用户界面工具环境的设计，为解决界面与应用语义的适当分离提供一种可行方案。

As users and tool builders gain experience, and techniques for modeling application semantics become better developed, less human intervention will be needed.

随着用户和工具构建人员积累的经验越来越丰富，建模应用程序语义的技术越来越先进，对人为干预的需要也会越来越少。

This implies the proper transfer of the application semantics between these systems, which is an ill-understood area within OSI.

这要求在这些系统之间正确地传送应用语义。

Cooperative users can do cooperation and share information by application semantics.

协同用户通过应用语义来进行协同操作和信息共享。

Diamant introduces session management, credential management, environment evaluation and authorization engine with declarative semantics into authorization management architecture, using policy language to define inter-domain security policies.

Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。

As canvas does not present any declarative semantics, it is likely that it will have more applications in the user interface implementation area than anywhere else.

因为canvas没有提供任何声明性语义，很可能更多地用于用户界面实现领域而不是其他方面。

The author expresses his different viewpoint with reference(ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG.

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。

It is not suited for high throughput caching and does not provide any LRU based cache invalidation or distributed locking semantics.

它不适合进行高吞吐量的缓存，也不支持基于LRU（Latest Recently Used）的缓存校验与分布式的锁语义。

Croma, a leading electronics retail chain in India, offers a wide range of products from over 100 brands.

Croma是印度领先的电子产品零售连锁店，提供来自100多个品牌的广泛产品。

Croma, a dialect of Lisp, was created by Patrick Collison, the 2005 Irish Young Scientist of the Year.

Croma是Lisp的一种方言，由2005年爱尔兰年度青年科学家Patrick Collison创建。

The croma (or eighth note) is played for half the duration of a crotchet.

八分音符（或croma）的时值等于四分音符的一半。

Formal Semantic of Architecture-Centric Component Model

以体系结构为中心的构件模型的形式化语义

According to the features of formal semantic network model and attribute grammars, the new model uses symbols of attribute grammars to establish grammar and semantic rule schema suitable for semantic networks, and implements the reasoning by the expanded attribute grammar interpreter.

根据形式化的语义网络表示模型和属性文法的特点，该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式，并且可通过扩充的属性文法的解释器来实现推理。

Based on in-depth analysis of customer demand characteristics in MC environment, method of requirement elicitation, decomposition and conversion was proposed and a complete set of formal semantic model was built as well.

论文在深入分析MC环境客户需求特点的基础上，提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

The natural hierarchical relationship which covers information in semantics and structure has been considered. The new concepts of hierarchical dependency and hierarchical tree of relations are proposed. By the relation hierarchies idea, database views are constructed.

它考虑了包含语义及结构信息的自然层次联系，提出层次依赖与关系层次树的概念，引入关系的分层结构思想来构造数据库视图。

The AssemblyStructure element provides validation against the structure of the XML document but does not contain any information about semantics.

AssemblyStructure元素提供针对XML文档结构的验证，但不包含有关语义的任何信息。

There was just not enough information in semantics to predict the future organization of the mind.

因为没有足够的语义信息来预测未来的心智发展。

Through combination of both, it is to take the monitoring information semantics as the foundation and the inferential rule as guides for software credible evolution method. So makes it possible for software trusted evolution finally.

通过两者有机的结合，从而形成以监控信息语义为基础，推理规则为向导的软件可信演化方法，并最终用实例说明该方法的可行性与有效性。

This includes identifying and understanding the information semantics, such as the meaning of the data model elements as well as structural information.

这包括确定和了解信息语义，如数据模型元素的含义以及结构信息等。