Data (type systems and message formats).
数据(类型系统和消息格式)。
BI-ICS provides the ability to declare that business information is conformant with type systems and processes.
BI - ICS提供了声明业务信息与类型系统和过程相一致的能力。
The open SCA specifications currently support the following interface type systems for describing SCA interfaces.
openSCA规范目前支持使用以下接口类型系统来描述SCA接口。
WSDL 2.0 supports multiple type systems for describing the message content, but XML schema is the only one in use.
WSDL 2.0支持使用多种类型系统来描述消息内容，但是目前仅使用了XML模式。
Many other specifications have used the WXS Datatypes specification, although there have been calls to develop alternative data type systems.
许多其他的规范已经采用了WXSDataTypes规范，尽管也有开发其他数据类型系统的呼声。
The method and results of this paper can be extended to the problems for a class of hyperbolic type systems as well.
本文所用的方法与所得到的结果也可推广到一类双曲型系统的快速最优控制问题中去。
Furthermore, the methods and results in this paper can be extended to the problem for a class of hyperbolic type systems.
本文所用的方法与所得到的结果，也可推广到一类双曲型系统的闭环时间最优控制问题中去。
You can also define other technologies as constraint mechanisms, such as schemas or type systems -- you can even define your own custom constraint solution.
还可以定义其他技术作为约束机制，如模式或类型系统，甚至可以定义自己的自定义约束解决方案。
Most of the trailing exits we will describe are specifically designed to allow profits to run indefinitely. Therefore they are best used with trend following type systems.
我们提到的大多数跟踪止损是专门用来实现盈利继续扩大目的的，因此，这些策略用在趋势跟踪系统上最有效。
The approach is appropriate for declared type systems and has existed since RPCs, and we find it commonly in modern statically typed languages, namely the ‘interface’ construct.
这种方法适合声明类型系统并自从RPC时代就存在，而且我们发现它在现代静态类型语言中非常普遍，即‘接口（interface）’结构。
There are high level type systems and soundness in the new computing model, making it extremely expressive and robust, which is seldom possible in prevailing object-oriented programming.
这套计算模型中引入了一些高层次的类型系统和安全机制，使它的表达能力和安全性超越了流行的基于面向对象的计算模型。
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
Type systems are domain-specific and application-specific.
类型系统特定于领域和特定于应用程序。
Type systems are domain-specific and application-specific.
类型系统特定于领域和特定于应用程序。
应用推荐