利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

28 条记录 (耗时 0.044 秒)

    Identifying groups and subgroups
    12.
    发明授权
    Identifying groups and subgroups 有权
    识别组和子组

    公开(公告)号：US08359592B2

    公开(公告)日：2013-01-22

    申请号：US12406976

    申请日：2009-03-19

    申请人： Jean-Pierre Duplessis ,  Christopher J. Lovett

    发明人： Jean-Pierre Duplessis ,  Christopher J. Lovett

    IPC分类号： G06F9/44 ,  G06F9/45 ,  G06F9/445

    CPC分类号： G06F8/71

    摘要： Aspects of the subject matter described herein relate to automatically identifying groups and subgroups in dependency data. In aspects, a data structure that indicates dependencies between components is analyzed to create groups that are related by dependencies. The groups are further analyzed to create subgroups that depend on shared components but that do not depend on each other. Information about the components is used to generate names for the groups that are indicative of the components included in the groups. The groups, their names, and their relationships may then be displayed.

    摘要翻译： 本文描述的主题的方面涉及在依赖性数据中自动识别组和子组。 在方面，分析指示组件之间的依赖关系的数据结构，以创建与依赖关系相关的组。 进一步分析组以创建依赖于共享组件但不依赖于彼此的子组。 有关组件的信息用于生成指示组中包含的组件的组的名称。 然后可以显示组，名称及其关系。

    Model-based editors for dynamic validation
    13.
    发明授权
    Model-based editors for dynamic validation 有权
    基于模型的编辑器进行动态验证

    公开(公告)号：US07904809B2

    公开(公告)日：2011-03-08

    申请号：US11771905

    申请日：2007-06-29

    申请人： Michael P Corning ,  Christopher J Lovett

    发明人： Michael P Corning ,  Christopher J Lovett

    IPC分类号： G06F17/00

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： Tools and techniques for dynamically validating editors are described herein. The tools may provide machine-readable storage media containing machine-readable instructions for receiving indications of user edits to a portion of a document, and for determining whether a customized editor is available for the edited portion of the document. The tools may also provide systems that include at least the dynamically validating editor.

    摘要翻译： 本文描述了用于动态验证编辑器的工具和技术。 这些工具可以提供包含机器可读指令的机器可读存储介质，用于接收对文档的一部分的用户编辑的指示，以及用于确定定制编辑器是否可用于文档的编辑部分。 这些工具还可以提供至少包括动态验证编辑器的系统。

    Core object-oriented type system for semi-structured data
    16.
    发明授权
    Core object-oriented type system for semi-structured data 有权
    用于半结构化数据的核心面向对象类型系统

    公开(公告)号：US07389498B2

    公开(公告)日：2008-06-17

    申请号：US10396066

    申请日：2003-03-25

    申请人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

    发明人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

    IPC分类号： G06F9/44 ,  G06F9/45

    CPC分类号： G06F8/437

    摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

    摘要翻译： 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型，如流，选择，交集和序列。 核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。 此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。 为了进一步促进类型安全，引入了严格的静态检查界面。

    Parsing extensible markup language (XML) data streams
    18.
    发明授权
    Parsing extensible markup language (XML) data streams 失效
    解析可扩展标记语言（XML）数据流

    公开(公告)号：US07073123B2

    公开(公告)日：2006-07-04

    申请号：US11271931

    申请日：2005-11-10

    申请人： Greg S. Friedman ,  Christopher J Lovett ,  Nanshan Zeng

    发明人： Greg S. Friedman ,  Christopher J Lovett ,  Nanshan Zeng

    IPC分类号： G06F17/00

    CPC分类号： G06F17/2247 ,  G06F17/272

    摘要： In one embodiment, a method of parsing an XML data stream comprises receiving an XML data stream containing a namespace prefix and an associated element tag name. The element tag name is associated with an element tag. The namespace prefix and the element tag name are converted into a token that uniquely represents a namespace specification that is associated with the namespace prefix and the element tag. A stack is defined and is configured to receive one or more tokens during parsing of the XML data stream. Parsing of the XML data stream is performed without requiring an XML tree structure comprising an XML document embodied by the XML data stream, to be built.

    摘要翻译： 在一个实施例中，解析XML数据流的方法包括接收包含命名空间前缀和相关联的元素标签名称的XML数据流。 元素标签名称与元素标签相关联。 命名空间前缀和元素标签名称将转换为唯一表示与命名空间前缀和元素标记相关联的命名空间规范的令牌。 定义了一个堆栈，并将其配置为在解析XML数据流期间接收一个或多个令牌。 执行XML数据流的解析，而不需要构建包含由XML数据流体现的XML文档的XML树结构。

    CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA
    20.
    发明申请
    CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA 有权
    用于半结构数据的面向对象的面向对象的系统

    公开(公告)号：US20080313609A1

    公开(公告)日：2008-12-18

    申请号：US12139712

    申请日：2008-06-16

    申请人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

    发明人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437

    摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

    摘要翻译： 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型，如流，选择，交集和序列。 核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。 此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。 为了进一步促进类型安全，引入了严格的静态检查界面。