专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP2006190263A Mechanism for binding structured data protocol to protocol providing byte stream 审中-公开
标题翻译：将结构化数据协议绑定到提供字节流的协议的机制
公开(公告)号：JP2006190263A
公开(公告)日：2006-07-20
申请号：JP2005351277
申请日：2005-12-05
申请人： Microsoft Corp , マイクロソフトコーポレーション
发明人： KALER CHRISTOPHER G , WAINGOLD ELLIOT LEE , CHRISTENSEN ERIK BO , SCHLIMMER JEFFREY C , WOLF KENNETH D , GUDGIN MARTIN J , VERNAL MICHAEL STEVEN , PURI SIDDHARTHA
IPC分类号： G06F13/00 , G06F15/00
CPC分类号： G06F17/2247 , G06F17/2258 , H04L67/02 , H04L69/08 , H04L69/329
摘要： PROBLEM TO BE SOLVED: To provide a mechanism for sending structured data by using a corresponding byte stream. SOLUTION: Upon accessing the structured data 211 such as a Simple Object Access Protocol (SOAP) envelope, the byte stream 213 is generated. The byte stream 213 includes bytes that represent the structured data, as well as a collection of bytes that represent properties about the byte stream 213 such as, for example, a mode of communication. Then, the byte stream 213 is passed to a communication module (e.g., a TCP or Named Pipes module) 214 capable of receiving and transmitting the byte stream. COPYRIGHT: (C)2006,JPO&NCIPI
摘要翻译：要解决的问题：提供一种通过使用对应的字节流来发送结构化数据的机制。解决方案：在访问诸如简单对象访问协议（SOAP）包络的结构化数据211时，生成字节流213。字节流213包括表示结构化数据的字节以及表示关于字节流213的属性的诸如例如通信模式的字节的集合。然后，字节流213被传递到能够接收和发送字节流的通信模块（例如，TCP或命名管道模块）214。版权所有（C）2006，JPO＆NCIPI

2. 发明申请

WO2010039891A3 TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE 审中-公开
标题翻译：类型系统用于声明数据描述语言
公开(公告)号：WO2010039891A3
公开(公告)日：2010-07-01
申请号：PCT/US2009059110
申请日：2009-09-30
申请人： MICROSOFT CORP
发明人： LANGWORTHY DAVID E , BIERMAN GAVIN , GORDON ANDREW D , BOX DONALD F , LOVERING BRADFORD H , SCHLIMMER JEFFREY C , DOTY JOHN D
IPC分类号： G06F17/00 , G06F17/30
CPC分类号： G06F8/10 , G06F8/31
摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.
摘要翻译：提供了一个高效的，逻辑的和富有表现力的类型系统，用于灵活地定义声明性编程语言的类型，从而可以生成高效且结构紧凑的数据密集型应用程序。类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。对于类型系统，类型可以表示为交叉点和/或其他类型的联合。因此，类型可以有效地表示为可以在真实世界数据存储中找到的全范围类型的数据。

3. 发明申请

WO2009094097A2 STREAMING OBJECT INSTANTIATION USING BOOKMARKS 审中-公开
标题翻译：使用书签流式传输对象实例
公开(公告)号：WO2009094097A2
公开(公告)日：2009-07-30
申请号：PCT/US2008088487
申请日：2008-12-29
申请人： MICROSOFT CORP
发明人： DOTY JOHN DAVID , SCHLIMMER JEFFREY C , ANDERSON CHRISTOPHER LEE , GUDGIN MARTIN JAMES
IPC分类号： G06F15/16 , G06F15/00
CPC分类号： G06F9/4435 , G06F9/544
摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.
摘要翻译：将令牌书写在一组流标记中，每一个代表一个实例化指令或实例化上下文。导航器接收一组流标记，并将标记提供给实例化管理器。然而，如果导航器接收到为特定标记添加书签的指令，则导航器至少从加书签的标记开始缓冲该组流指令（并且如果存在先前的书签，甚至可能更早）。响应来自实例化管理器的指令，导航器重放从书签开始的流式令牌组。实例化管理器接收该组流式令牌。如果实例化管理器目前不能处理特定标记的指令，则实例化管理器指示导航器为特定标记添加书签。当实例化管理器稍后接收允许实例化管理器返回到书签的标记时，实例化管理器返回到书签以重放从书签开始的实例化指令。

4. 发明专利

AT433252T 未知
公开(公告)号：AT433252T
公开(公告)日：2009-06-15
申请号：AT05110467
申请日：2005-11-08
申请人： MICROSOFT CORP
发明人： KALER CHRISTOPHER G , WAINGOLD ELLIOT LEE , CHRISTENSEN ERIK BO , SCHLIMMER JEFFREY C , WOLF KENNETH D , GUDGIN MARTIN JAMES , VERNAL MICHAEL STEVEN , PURI SIDDHARTHA
IPC分类号： H04L29/08 , G06F17/22 , H04L29/06
摘要： A mechanism for sending structured data using a corresponding byte stream. Upon accessing structured data such as a Simple Object Access Protocol (SOAP) envelope, a byte stream is generated. The byte stream includes bytes that represent the structured data, as well as a collection of bytes that represents properties about the byte stream such as, for example, a mode of communication. The byte stream may then be passed to a communication module (e.g., a TCP or Named Pipes module) capable of receiving and transmitting the byte stream.

5. 发明专利

DE602005014724D1 未知
公开(公告)号：DE602005014724D1
公开(公告)日：2009-07-16
申请号：DE602005014724
申请日：2005-11-08
申请人： MICROSOFT CORP
发明人： KALER CHRISTOPHER G , WAINGOLD ELLIOT LEE , CHRISTENSEN ERIK BO , SCHLIMMER JEFFREY C , WOLF KENNETH D , GUDGIN MARTIN JAMES , VERNAL MICHAEL STEVEN , PURI SIDDHARTHA
IPC分类号： H04L29/08 , G06F17/22 , H04L29/06
摘要： A mechanism for sending structured data using a corresponding byte stream. Upon accessing structured data such as a Simple Object Access Protocol (SOAP) envelope, a byte stream is generated. The byte stream includes bytes that represent the structured data, as well as a collection of bytes that represents properties about the byte stream such as, for example, a mode of communication. The byte stream may then be passed to a communication module (e.g., a TCP or Named Pipes module) capable of receiving and transmitting the byte stream.

6. 发明公开

EP2248036A4 STREAMING OBJECT INSTANTIATION USING BOOKMARKS 审中-公开
标题翻译：流式传输OBJEKTINSTANTIIERUNG使用书签
公开(公告)号：EP2248036A4
公开(公告)日：2011-12-21
申请号：EP08871356
申请日：2008-12-29
申请人： MICROSOFT CORP
发明人： DOTY JOHN DAVID , SCHLIMMER JEFFREY C , ANDERSON CHRISTOPHER LEE , GUDGIN MARTIN JAMES
IPC分类号： G06F15/16 , G06F9/44 , G06F15/00
CPC分类号： G06F9/4435 , G06F9/544
摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.

7. 发明公开

EP2350866A4 TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE 审中-实审转让
标题翻译： TYPENSYSTEMFÜRDEKLARATIVE DATENSKRIPTSPRACHE
公开(公告)号：EP2350866A4
公开(公告)日：2012-04-25
申请号：EP09818473
申请日：2009-09-30
申请人： MICROSOFT CORP
发明人： LANGWORTHY DAVID E , BIERMAN GAVIN , GORDON ANDREW D , BOX DONALD F , LOVERING BRADFORD H , SCHLIMMER JEFFREY C , DOTY JOHN D
IPC分类号： G06F9/00
CPC分类号： G06F8/10 , G06F8/31
摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.
摘要翻译：提供了一种高效，逻辑和表达型的系统，用于灵活定义声明式编程语言的类型，从而可以生成有效和结构紧凑的数据密集型应用程序。类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。对于类型系统，类型可以表示为其他类型的交集和/或联合。因此，可以在真实世界数据存储中可以找到的全部数据类型有效地表示类型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式