Verification of data stream computations using third-party-supplied annotations
    3.
    发明授权
    Verification of data stream computations using third-party-supplied annotations 有权
    使用第三方提供的注释验证数据流计算

    公开(公告)号:US08799754B2

    公开(公告)日:2014-08-05

    申请号:US12632345

    申请日:2009-12-07

    IPC分类号: G06F11/00

    摘要: A third party that performs data stream computation is requested to return not only the solution to the computation, but also “annotations” to the original data stream. The annotations are then used by the data owner (in actuality, a “verifier” associated with the data owner) to check the results of the third party's computations. As implemented, the verifier combines the annotations with the original data, performs some computations, and is then assured of the correctness of the provided solution. The cost of verification is significantly lower to the data owner than the cost of fully processing the data “in house”.

    摘要翻译: 请求执行数据流计算的第三方不仅返回到计算的解决方案,还返回到原始数据流的“注释”。 然后,数据所有者(实际上是与数据所有者相关联的“验证者”)使用注释来检查第三方的计算结果。 如实施的,验证者将注释与原始数据组合,执行一些计算,然后确保所提供的解决方案的正确性。 数据所有者的验证成本明显低于“内部”完全处理数据的成本。

    Verification Of Data Stream Computations Using Third-Party-Supplied Annotations
    7.
    发明申请
    Verification Of Data Stream Computations Using Third-Party-Supplied Annotations 有权
    使用第三方提供的注释验证数据流计算

    公开(公告)号:US20110138264A1

    公开(公告)日:2011-06-09

    申请号:US12632345

    申请日:2009-12-07

    IPC分类号: G06F11/07

    摘要: A third party that performs data stream computation is requested to return not only the solution to the computation, but also “annotations” to the original data stream. The annotations are then used by the data owner (in actuality, a “verifier” associated with the data owner) to check the results of the third party's computations. As implemented, the verifier combines the annotations with the original data, performs some computations, and is then assured of the correctness of the provided solution. The cost of verification is significantly lower to the data owner than the cost of fully processing the data “in house”.

    摘要翻译: 请求执行数据流计算的第三方不仅返回到计算的解决方案,还返回到原始数据流的“注释”。 然后,数据所有者(实际上是与数据所有者相关联的“验证者”)使用注释来检查第三方的计算结果。 如实施的,验证者将注释与原始数据组合,执行一些计算,然后确保所提供的解决方案的正确性。 数据所有者的验证成本明显低于“内部”完全处理数据的成本。

    Idle suppression and signal threshold determination therefor
    8.
    发明授权
    Idle suppression and signal threshold determination therefor 失效
    空闲抑制和信号阈值判定

    公开(公告)号:US5878119A

    公开(公告)日:1999-03-02

    申请号:US877852

    申请日:1997-06-18

    摘要: A compression technique is used to suppress the idle or silent portion of both stations in a facsimile transmission. Facsimile transmission is a half-duplex protocol resulting in considerable idle time for either the called terminal or the calling terminal. The invention provides a signal level threshold for each station whereby signals above the threshold are allowed to pass through while signal levels below threshold are not, resulting in more efficient network bandwidth utilization.

    摘要翻译: 压缩技术用于抑制传真传输中的两个站的空闲或无声部分。 传真传输是半双工协议,为被叫终端或主叫终端产生相当多的空闲时间。 本发明提供了每个站的信号电平门限,由此允许高于阈值的信号通过,而信号电平低于阈值则不会导致更高效的网络带宽利用。

    COMPLEX PROCESS MANAGEMENT
    10.
    发明申请
    COMPLEX PROCESS MANAGEMENT 审中-公开
    复杂过程管理

    公开(公告)号:US20110208565A1

    公开(公告)日:2011-08-25

    申请号:US13033104

    申请日:2011-02-23

    IPC分类号: G06Q10/00

    CPC分类号: G06Q10/06 G06Q10/0639

    摘要: The present invention relates to a computer implemented method and system for determining the source of a determined performance variance of a complex entity, and determining one or more different actions to be taken as a consequence of the determined source of performance variance.

    摘要翻译: 本发明涉及一种用于确定复杂实体的确定的性能方差的来源的计算机实现的方法和系统,以及确定作为确定的性能差异来源的结果而采取的一个或多个不同的动作。