会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • Binding heterogeneous transports to a message contract
    • 将异构传输绑定到消息合同
    • US20060129655A1
    • 2006-06-15
    • US11010999
    • 2004-12-13
    • Jeffrey SchlimmerDavid Langworthy
    • Jeffrey SchlimmerDavid Langworthy
    • G06F15/16
    • H04L67/322H04L67/02H04L69/03H04L69/18
    • Example embodiments provide for a new set of binding extensions that allow individual messages within a contract of a Network Protocol Description Language data structure (e.g., a portType of a WSDL document or file) to flow over different transports and to different network transport addresses. Further, example embodiments provide for a concise expression of protocol choices through the use of a default element for specifying one of a plurality of binding mechanisms. Moreover, the present invention also provides for not only defining services within a document or data structure through standard URLs, but also for allowing the addressing of a service using an endpoint reference as defined by, e.g., WS-Addressing. This allows for a more robust way to address a service in a document by providing a lightweight, extensible, self-contained description of the service.
    • 示例性实施例提供允许网络协议描述语言数据结构(例如,WSDL文档或文件的端口类型)的合同内的各个消息流过不同传输和不同网络传输地址的新的绑定扩展集合。 此外,示例性实施例通过使用用于指定多个绑定机制中的一个的默认元素来提供协议选择的简明表达。 此外,本发明还提供不仅通过标准URL定义文档或数据结构内的服务,而且还允许使用例如由WS-Addressing定义的端点参考来对服务进行寻址。 这允许通过提供轻量级的,可扩展的,自包含的服务描述来更有效地解决文档中的服务。
    • 9. 发明申请
    • Symbolic computation using an inverted match
    • 符号计算使用反向匹配
    • US20070061115A1
    • 2007-03-15
    • US11225307
    • 2005-09-12
    • David Langworthy
    • David Langworthy
    • G06F17/10
    • G06F17/10
    • The transformation of a symbolic representation using an inverted match that represents an inverted form of a specific kind of non-linear match. The match is inverted around a particular reaction variable and merged on that variable after determining that the match represents a specific kind of non-linear identity that has at least one associative commutative operator, and in which each variable has one instance, except for the reaction variable, which has multiple instances in the match, at least one of the instances not being a direct argument of an associative commutative operator. The inverted match may then be applied to the symbolic expression to thereby transform the symbolic expression.
    • 使用表示特定类型的非线性匹配的反向形式的反向匹配来转换符号表示。 在确定匹配表示具有至少一个关联交换算子的特定类型的非线性身份之后,该匹配在特定反应变量周围反转并合并在该变量上,并且其中每个变量具有一个实例,除了反应 变量,其在匹配中具有多个实例,至少一个实例不是关联交换运算符的直接参数。 然后可以将反转匹配应用于符号表达式,从而转换符号表达式。