Several convertible signcryption schemes with semantic security based on elliptic curve cryptosystem were proposed.

A semantic security policy language, called SSPL, was proposed for distributed computing environment.

提出了一种用于分布式计算环境的语言安全策略语言SSPL。

Two Convertible Authenticated Encryption Schemes with Semantic Security

两个具有语义安全的可转换认证加密方案

In addition, our scheme can achieve semantic security by preventing the message guess attack.

另外，该方案还可以防止消息的猜测攻击，从而实现了语义安全性。

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

That how to organize it is discussed also. Four kinds of rules are designed especially to dig out hidden semantics of data deeply. ( 3) Design the algorithm of querying on large scale of data source, which called DSQ.

论述了如何构建语义信息资源目录，尤其是如何深度发掘数据暗含语义，设计了四类规则促进语义的发掘。（3）设计了在大规模数据源上进行语义查询的DSQ算法。

XML and ontology as the key technologies solves the problem of the syntax and semantics of data heterogeneous. This model shields the differences of physical and logical of the data source to the upper layer users, achieves transparent access.

XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题，对上层用户屏蔽了底层数据源物理和逻辑的差异性，实现了应用层的透明访问。

Information sharing requires the interoperation among metadata exchange format, tags, content structure and semantics of data elements, etc. A complete framework of standard is thus necessary.

信息共享需要在元数据的交换格式、标记格式、元素内容结构、元素语义和数据元等方面能够互操作，需要建立一套完整的标准体系。

In other words, an ontology provides an explicit conceptualization that describes semantics of data, providing a shared and common understanding of a domain.

另一个说法，本体提供了用来描述数据的含义的显式概念，从而提供了对某个领域的共享的和公共的理解。

The great difference in syntax and semantics of data collected is a tough problem for management platform.

语法和语义异构的数据采集是网络管理平台的基础和难题。

Abstract: Both fuzzy semantics and precise semantics are important parts in the expression of Official Language. There is different nature, but also inextricably linked. Under certain conditions, they are to achieve mutual conversion.

摘要：模糊语义和精确语义是公文语言的重要表现形式，它们之间既存在本质差别，也存在不可分割的联系，同时，双方在一定条件下也可实现相互的转换。

SPM-CMM provides abstract syntaxes and rule semantics for CMM software process, and also supports of modeling of CMM integration with UML CASE tools.

该元模型既支持CMM软件过程的抽象语法和规则语义，也支持利用UML CASE工具操作CMM软件过程模型。

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics how parallel programming works away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

Thirdly, we define abstract semantics of a meta model.

第三，设计了一套元模型的抽象语义。

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

In cognitive linguistics, the conceptual system that emerges from everyday human experience has been shown to be the basis for natural language semantics.

认知语言学认为语义结构等同于概念结构，而概念结构源于人类与周围世界的身体接触。

Note the strength of the matching here: we are not merely dealing with wildcards, but language semantics.

请注意这里匹配的优势：我们不仅仅处理通配符，而且处理语言语义。

A Review of Modern Chinese Language Semantics

现代汉语语义学研究述要