利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

39 条记录 (耗时 0.032 秒)

    Using expressive session information to represent communication sessions in a distributed system
    5.
    发明授权
    Using expressive session information to represent communication sessions in a distributed system 失效
    使用表达式会话信息来表示分布式系统中的通信会话

    公开(公告)号：US07853695B2

    公开(公告)日：2010-12-14

    申请号：US10371845

    申请日：2003-02-21

    申请人： Christopher G. Kaler ,  David E. Langworthy ,  John P. Shewchuk

    发明人： Christopher G. Kaler ,  David E. Langworthy ,  John P. Shewchuk

    IPC分类号： G06F15/16

    CPC分类号： H04L67/2804 ,  H04L29/06 ,  H04L67/02 ,  H04L67/14 ,  H04L67/2819 ,  H04L67/288 ,  H04L69/329

    摘要： A message processor accesses an electronic message. The accessing message processor identifies, from within the electronic message, any communication session information associated with the accessing message processor. This can include identifying expressive XML instructions or XML data structures representing communication sessions or message sequences. The accessing message processor determines if any session information within the electronic message is to be modified. This can include inserting session information for new sessions or message sequences, updating existing session information, or removing session information for terminated or expired communication sessions or message sequences. The accessing message processor then routes the electronic message to another message processor. In some embodiments, an initiating message processor identifies cached session information that is used to initially establish a communication session. The identified session information is included in a session element that is routed to one or more receiving message processors.

    摘要翻译： 消息处理器访问电子消息。 访问消息处理器从电子消息内识别与访问消息处理器相关联的任何通信会话信息。 这可以包括识别表示通信会话或消息序列的表达XML指令或XML数据结构。 访问消息处理器确定电子消息内的任何会话信息是否被修改。 这可以包括插入用于新会话或消息序列的会话信息，更新现有会话信息，或者去除用于终止或过期的通信会话或消息序列的会话信息。 然后，访问消息处理器将电子消息路由到另一消息处理器。 在一些实施例中，发起消息处理器识别用于初始建立通信会话的高速缓存的会话信息。 所识别的会话信息被包括在路由到一个或多个接收消息处理器的会话元素中。

    TRANSFORMATION OF MODULAR FINITE STATE TRANSDUCERS
    6.
    发明申请
    TRANSFORMATION OF MODULAR FINITE STATE TRANSDUCERS 有权
    模块化有限状态转换器的转换

    公开(公告)号：US20080071801A1

    公开(公告)日：2008-03-20

    申请号：US11532349

    申请日：2006-09-15

    申请人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    发明人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    IPC分类号： G06F7/00

    CPC分类号： G06F17/30961

    摘要： A Q Framework, or QFX for short, is provided for performing efficient tree transformation in a generalized manner that achieves preservation of action semantics for FSTs that support action information in their representations across a diverse set of types of representations for FSTs. Among other features, the QFX also enables the preservation of ordered and unordered nest information while performing tree transformation, supports the transformation of non-deterministic data structures to a deterministic data structure and enables intersection operations on machines having action semantics.

    摘要翻译： 提供Q框架（简称QFX），用于以广义的方式执行高效的树型转换，从而实现了FST的动作语义的保留，从而支持FST的各种表示形式的支持动作信息。 在其他功能中，QFX还能够在执行树型转换时保持有序和无序的嵌套信息，支持将非确定性数据结构转换为确定性数据结构，并在具有动作语义的机器上实现交叉操作。

    COMPILING LOGICAL PROGRAMS TO REWRITE SYSTEMS
    7.
    发明申请
    COMPILING LOGICAL PROGRAMS TO REWRITE SYSTEMS 审中-公开
    编制逻辑程序到REWRITE系统

    公开(公告)号：US20080127129A1

    公开(公告)日：2008-05-29

    申请号：US11468552

    申请日：2006-08-30

    申请人： David E. Langworthy ,  Steven E. Lucco

    发明人： David E. Langworthy ,  Steven E. Lucco

    IPC分类号： G06F9/45

    CPC分类号： G06F8/44

    摘要： Transformation of logic programming into rewrite programming. First, a concrete expression of logic programming is converted into an abstract expression of logic programming. The abstract expression of logic programming is then transformed into an abstract expression of rewrite programming. The rewrite programming may ultimately be compiled or interpreted and executed. Accordingly, rather than performing complex unification involved with logic programming, the processing of the programming may simply involve perform matching, which is typically faster from an execution perspective.

    摘要翻译： 将逻辑编程转换为重写编程。 首先，将逻辑编程的具体表达式转换为逻辑编程的抽象表达式。 然后将逻辑编程的抽象表达式转换为重写编程的抽象表达式。 重写编程可能最终被编译或解释和执行。 因此，与逻辑编程相关的复杂统一性不是执行，编程的处理可以简单地涉及执行匹配，其从执行角度来看通常更快。

    Transformation of modular finite state transducers
    9.
    发明授权
    Transformation of modular finite state transducers 有权
    模块化有限状态传感器的转换

    公开(公告)号：US07627541B2

    公开(公告)日：2009-12-01

    申请号：US11532374

    申请日：2006-09-15

    申请人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    发明人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    IPC分类号： G06E1/00 ,  G06E3/00 ,  G06F15/18 ,  G06G7/00

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

    摘要： A Q Framework, or QFX for short, is provided for performing efficient tree transformation in a generalized manner that achieves preservation of action semantics for FSTs that support action information in their representations across a diverse set of types of representations for FSTs. Among other features, the QFX also enables the preservation of ordered and unordered nest information while performing tree transformation, supports the transformation of non-deterministic data structures to a deterministic data structure and enables intersection operations on machines having action semantics.

    摘要翻译： 提供Q框架（简称QFX），用于以广义的方式执行高效的树型转换，从而实现了FST的动作语义的保留，从而支持FST的各种表示形式的支持动作信息。 在其他功能中，QFX还能够在执行树型转换时保持有序和无序的嵌套信息，支持将非确定性数据结构转换为确定性数据结构，并在具有动作语义的机器上实现交叉操作。

    TRANFORMATION OF MODULAR FINITE STATE TRANSDUCERS
    10.
    发明申请
    TRANFORMATION OF MODULAR FINITE STATE TRANSDUCERS 有权
    模块化有限状态传输器的转换

    公开(公告)号：US20080071802A1

    公开(公告)日：2008-03-20

    申请号：US11532374

    申请日：2006-09-15

    申请人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    发明人： Steven E. Lucco ,  David E. Langworthy ,  Giovanni M. Della-Libera

    IPC分类号： G06F7/00

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

    摘要： A Q Framework, or QFX for short, is provided for performing efficient tree transformation in a generalized manner that achieves preservation of action semantics for FSTs that support action information in their representations across a diverse set of types of representations for FSTs. Among other features, the QFX also enables the preservation of ordered and unordered nest information while performing tree transformation, supports the transformation of non-deterministic data structures to a deterministic data structure and enables intersection operations on machines having action semantics.

    摘要翻译： 提供Q框架（简称QFX），用于以广义的方式执行高效的树型转换，从而实现了FST的动作语义的保留，从而支持FST的各种表示形式的支持动作信息。 在其他功能中，QFX还能够在执行树型转换时保持有序和无序的嵌套信息，支持将非确定性数据结构转换为确定性数据结构，并在具有动作语义的机器上实现交叉操作。