搜索资源列表
uml1.0中文文档
- UML1.0中文说明文档UML1.0中文资料 UML摘要 UML语义 UML术语表 附录2-UML元元模型 UML元元模型与MOF及CDIF的一致 依从UML的工具 UML映射到CORBA IDL OMG提议摘要 和OMG技术的关系 下载html文档 -UML1.0 Chinese documentation UML1.0 Chinese data UML Abstract UML semantics of UML Glossary Appendix 2-
C_C++_exception
- C 与C++中的异常处理 Robert Schmidt 著 无情 译 目 录 1. 异常和标准C 对它的支持...............................................................................................2 2. Microsoft 对异常处理方法的扩展..................................................................
Goedel
- Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[-Goedel descr iptive language is a logic programming language. Based on the language of the first o
VHDL
- The VHDL Golden Reference Guide is a compact quick reference guide to the VHDL language, its syntax, semantics, synthesis and application to hardware design.-The VHDL Golden Reference Guide is a compac t quick reference guide to the VHDL language, it
Inside The C++ Object Model
- Inside the C++ Object Model focuses on the underlying mechanisms that support object-oriented programming within C++: constructor semantics, temporary generation, support for encapsulation, inheritance, and "the virtuals"-virtual functions
vp8-bitstream
- 是VP8的官方文档，详细描述了VP8码流的语法和语义，是开发VP8的编解码器必备资料-Is the official document VP8, VP8 bitstream is described in detail the syntax and semantics, is to develop the necessary VP8 codec information
itm08
- 论文：基于语义的视频检索实现方法，号称在TRECVID的评测中一直保持领先。-An approach to implement semantics-based video detection, with promising results reported in TRECVID.
Inside_theC++_Object_Model
- Inside the C++ Object Model Inside the C++ Object Model focuses on the underlying mechanisms that support object-oriented programming within C++: constructor semantics, temporary generation, support for encapsulation, inheritance, and "the virtuals
workflow-role
- 基于角色的工作流建模研究 从角色及其交互角度出发,考察了现有的 基于角色的工作流过程建模方法,提出了一种基于Petri 网的工作流角色建模方法。利用这种建模方法,可以清楚的描述出角色 的外部接口,突出角色之间的协作关系,Petri 网的形式化语义方便进行模型的验证和分析-Research on Role-Based Workflow Modeling Abstract: The traditional process-based workflow modeling ignores
ASM
- 从概念的角度分析了活动图并非结构的不足，系统地研究了时序模糊状态下的语音描述，以工作流的循环模式鉴别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型，从分支、合并、事件捕获等方面定义了详尽的规则，提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the
LJDBSearch(1)
- 数据库管理系统存储的一般都是结构化数据，长足于数值的计算、查询、统计与挖掘。随着计算机存储与计算能力的迅猛发展，越来越多的非结构化文本数据存储在数据库中，数据库中的文本搜索日益广泛。 当前，数据库中的文本搜索，一般采用SQL语句中的Like操作符或者采用数据库系统自带的全文索引功能。Like操作往往特别耗时，数据规模超过10万条，查询往往会导致网络连接超时，无法满足在线搜索的需要；同时，Like查询仅仅是简单的字符串匹配，没有考虑语言语义，检索“和服”，同样会命中“产品和服务”。当前
releas_SoapSetting
- ZK SDK for SOAP. SOAP is a lightweight protocol intended for exchanging structured information in a decentralized, distributed environment. SOAP uses XML technologies to define an extensible messaging framework, which provides a message constru
RT_Design_Patterns
- When creating real-time and embedded (RTE) systems, there is no room for error. The nature of the final product demands that systems be powerful, efficient, and highly reliable. The constraints of processor and memory resources add to this challenge.
SE2-Spec-of-Systems-and-Languages
- 第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号（语用，语义和语法的系统和语言） ，空间造型和简单的时间现象，而且这种专门题目为模块化（包括uml类图)， petri网，活出序列图，状态图，和颞逻辑学，其中包括持续计算。最后，本书介绍的技术翻译和编译器开发的功能性，势在必行，模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and langua
OMA-TS-CPNS_Core-V1_0-20120327-C
- OMA标准组织，CPNS（融合个人网业务）标准的技术规范。-This document specifies the functions, interfaces and behaviour of CPNS entities, then protocols and CPNS System concept together with syntax and semantics of CPNS messages.
H.264-standard
- 汉语版H.264标准，包含视频编码、解码的语法、语义，以及编码、解码过程。非常利于大家学习H.264。-H.264 standard contains video encoding, decoding, syntax, semantics, and encoding, decoding process. Very conducive to learning H.264.
Verilog-hardware-semantics
- Verilog硬件语义,深入了解Verilog语句和语义的编写。-Verilog hardware semantics and semantic understanding Verilog statement preparation.
semantic-Web
- 分析了语义Web的逻辑基础．指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论 语义-Analysis of the logical basis for the Semantic Web. Pointed out the Semantic Web languages RDF and RDF Schema semantics is based on a model-theoretic semantics of non-classical
PHP_Notes_01
- What is PHP? PHP (recursive acronym for "PHP: Hypertext Preprocessor") is a widely-used Open Source general-purpose scr ipting language that is especially suited for Web development and can be embedded into HTML. How PHP came into being PHP
《Computational Semantics with Functional Programming》
- 《Computational Semantics with Functional Programming》