您要查找的是不是:
- Research and Evaluation on Formal Semantic Description Techniques 形式语义描述方法研究进展与评价
- formal semantic description [计] 形式语义描述
- At last, the semantic description of object language OL is presented with AOC calculus. 最后,本文用AOC演算给出了一个对象语言OL的语义描述。
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- This paper focuses on formal semantics of imperative programs. 摘要 研究了命令式程序的形式语义。
- The system uniformed heterogeneous data in XML format via packer, and converted into RDF description format, then stored in RDF information semantic description bank, at last using XSL technology , the variety of heterogeneous data is displayed to users. 并利用XML的公共数据模型,采用XSL技术将异构数据的多样化显示给用户。 整体系统分成五个层,包括:资源层、XML示例层、XML &RDF层、推理和中介层、应用层。
- The Semantic Web Services add the semantic information to the definition of the Web Services, and help the Intelligent Agent discover and use the Web Services much more easily according to the semantic description of the Web services. 语义Web服务就是给Web服务的定义中加入语义信息,帮助智能代理根据Web服务的语义描述信息更好地发现并利用Web服务。
- With the features of platform independency, easy extendibility, good interactivity and data semantic description and transform ability, XML is fit for mutual medium of data source. XML具有平台性无关、可扩展性和互操作性,具有数据语义描述和传送能力,是理想的数据源交互媒介。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- Comparison of Semantic Description Languages 几种语义描述语言之比较
- The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine. 在本国际标准的语义描述中,定义了一个参数化的,非确定的抽象机器。
- Web services functional semantic description model Web服务功能描述模型
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z的语义基于Z和timed CSP,这是它具有正确性和数学严格性的基础。
- He gave a description of what he had seen. 他描述了他所见到的一切。
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- Users can invoke relevant Web service to order travelling products. The registry keeps information about service providers and Web services as well as their semantic descriptions. 该信息中心不但保存服务提供商的信息,同时保存相应的Web Service信息,对服务提供商和Web Service都进行了语义的描述。
- Formal Semantic of Architecture-Centric Component Model 以体系结构为中心的构件模型的形式化语义
- Study of Semantic Description of the Data in XML Document XML文档中数据的语义描述问题研究
- We abandoned the idea of basing Haskell explicitly on OL very early; we violated the goal of embodying only well-tried ideas, notably by the inclusion of type classes; and we never developed a formal semantics. 尽管事情的进展相当不同,比之加入当前观点上的共识和团结我们全异的群体于一单一的设计,我们打算的更少。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。