利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

39 条记录 (耗时 0.029 秒)

    Optimization of process properties for workflows with failing activities
    2.
    发明申请
    Optimization of process properties for workflows with failing activities 审中-公开
    优化具有故障活动的工作流的进程属性

    公开(公告)号：US20050209841A1

    公开(公告)日：2005-09-22

    申请号：US11077284

    申请日：2005-03-10

    申请人： Andreas Arning ,  Matthias Kloppmann ,  Frank Leymann ,  Gerhard Pfau ,  Dieter Roller ,  Andreas Schmitz ,  Friedemann Schwenkreis ,  Claudia Zentner

    发明人： Andreas Arning ,  Matthias Kloppmann ,  Frank Leymann ,  Gerhard Pfau ,  Dieter Roller ,  Andreas Schmitz ,  Friedemann Schwenkreis ,  Claudia Zentner

    IPC分类号： G06F9/45 ,  G06F11/14

    CPC分类号： G06F11/1402 ,  G06F11/008

    摘要： The present invention provides a method, a data processing system as well as a computer program product for optimizing process properties for workflows with failing activities. The invention makes use of monitoring occurrence of failure of each activity of a process model of a workflow and further monitoring properties that are associated to compensating activities that are required in order to repair the failure of an activity. The method makes explicit use of determining alternative execution sequences and selecting one of the plurality of alternative execution sequences of the process model, that optimizes the process property in case of failure of an activity of the process model. The process model itself remains unaffected and need not to be remodeled.

    摘要翻译： 本发明提供了一种方法，数据处理系统以及用于优化具有失败活动的工作流程的过程属性的计算机程序产品。 本发明利用监视工作流程模型的每个活动的失败发生情况，并且进一步监视属性，这些属性与为了修复活动失败而需要的补偿活动相关联。 该方法明确地使用确定替代执行序列并选择过程模型的多个替代执行序列中的一个，其在过程模型的活动失败的情况下优化过程属性。 过程模型本身不受影响，无需重新构建。

    Method and System for Sending and Processing Messages Received Electronically
    4.
    发明申请
    Method and System for Sending and Processing Messages Received Electronically 审中-公开
    电子邮件接收和处理消息的方法和系统

    公开(公告)号：US20070162339A1

    公开(公告)日：2007-07-12

    申请号：US11621214

    申请日：2007-01-09

    申请人： Andreas Arning ,  Matthias Kloppmann ,  Gerhard Pfau ,  Dieter Roller

    发明人： Andreas Arning ,  Matthias Kloppmann ,  Gerhard Pfau ,  Dieter Roller

    IPC分类号： G06Q30/00

    CPC分类号： G06Q10/107 ,  G06Q30/0207

    摘要： In a computer system of a sender, means is generated for a message. The means represents a reward offer for a receiver of the message for acting on the message. The message and means are sent to at least one receiver. The message and means associated with the message are received in a receiver computer system. It is checked whether the message is acted on in accordance with the reward offer in the receiver computer system. Realization of the reward offer is initiated in response to the message being acted on in accordance with the reward offer.

    摘要翻译： 在发送者的计算机系统中，为消息生成手段。 该方式代表消息的接收者对该消息采取行动的报价。 消息和装置被发送到至少一个接收器。 在接收机计算机系统中接收与消息相关联的消息和装置。 根据接收机计算机系统中的奖励报告检查消息是否被执行。 奖励报价的实现是响应于根据报价提供的信息进行的。

    Editing source code
    6.
    发明授权
    Editing source code 失效
    编辑源代码

    公开(公告)号：US08341597B2

    公开(公告)日：2012-12-25

    申请号：US12015019

    申请日：2008-01-16

    申请人： Andreas Arning ,  Friedemann Schwenkreis

    发明人： Andreas Arning ,  Friedemann Schwenkreis

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

    CPC分类号： G06F8/33 ,  G06F8/20

    摘要： The present invention relates to the field of computer programming. More specifically the invention relates to a method and a data processing system for editing the source code of a computer program. It is an object of the present invention to provide an easy source code editing technique, by which programming errors and type errors can reliably be avoided in cases where changes to the program are supposed not to change the semantics of the program. This object is achieved according to the invention by a method for editing source code, the method comprising the steps of: receiving a modification to the source code, said modification being made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining step.

    摘要翻译： 本发明涉及计算机程序设计领域。 更具体地，本发明涉及一种用于编辑计算机程序的源代码的方法和数据处理系统。 本发明的目的是提供一种简单的源代码编辑技术，通过该方法可以可靠地避免编程错误和类型错误，在程序的改变不应改变程序的语义的情况下。 根据本发明，通过一种用于编辑源代码的方法来实现该目的，该方法包括以下步骤：接收对源代码的修改，所述修改由用户进行，确定修改是否会改变源的语义 代码，并根据确定步骤的结果处理修改。

    Method and System for Editing Source Code
    7.
    发明申请
    Method and System for Editing Source Code 失效
    编辑源代码的方法和系统

    公开(公告)号：US20080172660A1

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

    申请号：US12015019

    申请日：2008-01-16

    申请人： Andreas Arning ,  Friedemann Schwenkreis

    发明人： Andreas Arning ,  Friedemann Schwenkreis

    IPC分类号： G06F9/45

    CPC分类号： G06F8/33 ,  G06F8/20

    摘要： The present invention relates to the field of computer programming. More specifically the invention relates to a method and a data processing system for editing the source code of a computer program. It is an object of the present invention to provide an easy source code editing technique, by which programming errors and type errors can reliably be avoided in cases where changes to the program are supposed not to change the semantics of the program. This object is achieved according to the invention by a method for editing source code, the method comprising the steps of: receiving a modification to the source code, said modification being made by a user, determining whether the modification would change the semantics of the source code, and handling the modification depending on the result of the determining step.

    摘要翻译： 本发明涉及计算机程序设计领域。 更具体地，本发明涉及一种用于编辑计算机程序的源代码的方法和数据处理系统。 本发明的目的是提供一种简单的源代码编辑技术，通过该方法可以可靠地避免编程错误和类型错误，在程序的改变不应改变程序的语义的情况下。 根据本发明，通过一种用于编辑源代码的方法来实现该目的，该方法包括以下步骤：接收对源代码的修改，所述修改由用户进行，确定修改是否会改变源的语义 代码，并根据确定步骤的结果处理修改。

    Handling of messages in a electronic messaging system
    8.
    发明授权
    Handling of messages in a electronic messaging system 失效
    处理电子邮件系统中的邮件

    公开(公告)号：US07386593B2

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

    申请号：US10698137

    申请日：2003-10-30

    申请人： Andreas Arning ,  Dieter Roller ,  Andreas Maier

    发明人： Andreas Arning ,  Dieter Roller ,  Andreas Maier

    IPC分类号： G06F15/16

    CPC分类号： G06Q10/107

    摘要： The present invention proposes a computerized method and means for providing an improved handling of messages directed to an user of an electronic messaging system.The suggested method comprises a first step of determining user characteristics capable of identifying the user as an addressee of a message.The method further comprises a second step of analyzing a certain message and determining its message characteristics exploiting the information contained in one or a multitude of message fields.The method finally comprises a third step of applying at least one deduction rule of a potential set of deduction rules to said certain message. The deduction rule assigns based on the user characteristics and the message characteristics a role of said user to said certain message. The role is capable of revealing said user's relationship to said certain message.

    摘要翻译： 本发明提出了一种用于提供针对电子消息系统的用户的消息的改进处理的计算机化方法和装置。 所提出的方法包括确定能够将用户识别为消息的收件人的用户特征的第一步骤。 该方法还包括分析某个消息并利用包含在一个或多个消息字段中的信息来确定其消息特性的第二步骤。 所述方法最终包括向所述特定消息应用至少一个扣除规则的一组潜在的扣除规则的第三步骤。 扣除规则基于用户特征和消息特征将所述用户的角色分配给所述某些消息。 该角色能够揭示所述用户与所述某个消息的关系。

    System and method for determining numerical representations for categorical data fields
    9.
    发明授权
    System and method for determining numerical representations for categorical data fields 失效
    用于确定分类数据字段的数值表示的系统和方法

    公开(公告)号：US07272590B2

    公开(公告)日：2007-09-18

    申请号：US10383182

    申请日：2003-03-06

    申请人： Andreas Arning ,  Christoph Lingenfelder ,  Gregor Meyer ,  Dieter Roller ,  Swen Wohland

    发明人： Andreas Arning ,  Christoph Lingenfelder ,  Gregor Meyer ,  Dieter Roller ,  Swen Wohland

    IPC分类号： G06F17/30

    CPC分类号： G06F17/30595 ,  H03M7/14 ,  Y10S707/99932 ,  Y10S707/99942

    摘要： A system and method determine numerical representations for categorical data fields by taking advantage of the redundancy of the data records to allow automatic discovery of an order of the categories. A categorical data field is recoded by creating separate tables for each numerical data field occurring in the data records. The separate tables are sorted according to the numerical values of the respective data fields. The recoding of the categories is performed based on the average sort order of occurrences of the category in a specific sorted table. The standard deviation of the numerical codes provided by the categories is calculated for each of the separate recoding tables. The recoding table with the maximum standard deviation is selected as the recoding table to perform the recoding of the categories contained in the respective categorical data field of the data records. A plausibility check is performed for the selected recoding table by excluding the numerical data field that has formed the basis for the sorting of the respective table and recreating the recoding table from the data records. The resulting recoding table and the original recoding table are compared. Resulting recoding tables that are similar indicate a high level of confidence that the originally selected recoding table is optimal.

    摘要翻译： 系统和方法通过利用数据记录的冗余来确定分类数据字段的数值表示，以允许自动发现类别的顺序。 通过为数据记录中出现的每个数字数据字段创建单独的表来重新编码分类数据字段。 根据各个数据字段的数值对不同的表进行排序。 基于特定排序表中的类别的出现的平均排序顺序来执行类别的重新编码。 为每个单独的记录表计算由类别提供的数字代码的标准偏差。 选择具有最大标准偏差的记录表作为记录表，以对包含在数据记录的相应分类数据字段中的类别进行重新编码。 通过排除已经形成用于对各个表的排序的基础的数字数据字段并从数据记录重新创建记录表，对选择的记录表执行合理性检查。 比较所得到的记录表和原始记录表。 类似的结果记录表表示最初选择的重新编码表是最佳的高置信度。

    String pattern analysis
    10.
    发明授权
    String pattern analysis 失效
    字符串模式分析

    公开(公告)号：US08171039B2

    公开(公告)日：2012-05-01

    申请号：US12351527

    申请日：2009-01-09

    申请人： Andreas Arning ,  Roland Seiffert

    发明人： Andreas Arning ,  Roland Seiffert

    IPC分类号： G06F7/00 ,  G06F17/30

    CPC分类号： G06F17/277 ,  G06F19/22 ,  Y10S707/917

    摘要： A method of analyzing a string-pattern includes defining a minimum length (Lmin—1) of substrings (STR_A_B) to be considered; defining a maximum length (Lmax—1) of substrings (STR_A_B) to be considered; with a computer, searching the string-pattern for substrings (STR_A_B) with a length in an interval between the minimum length (Lmin—1) and the maximum length (Lmax—1); counting an occurrence (Occ_A_B) of each substring (STR_A_B) found with a length in the interval between the minimum length (Lmin—1) and the maximum length (Lmax—1); and pruning away a number of the substrings (STR_A_B) that meet one or more criteria. The criteria are selected from the group consisting of (1) being contained inside the maximum substring (STR_A_C) in a subset (SET_A) of substrings (STR_A_B), (2) being shorter than the maximum substring (STR_A_C), (3) occurring with a same frequency as the maximum substring (STR_A_C), and combinations thereof.

    摘要翻译： 分析字符串模式的方法包括定义要考虑的子串（STR_A_B）的最小长度（Lmin-1）; 定义要考虑的子串（STR_A_B）的最大长度（Lmax-1）; 用计算机搜索长度为最小长度（Lmin-1）和最大长度（Lmax-1）之间的间隔的子串（STR_A_B）的字符串模式; 计算以最小长度（Lmin-1）和最大长度（Lmax-1）之间的间隔中的长度发现的每个子串（STR_A_B）的出现（Occ_A_B）; 并修剪符合一个或多个标准的多个子串（STR_A_B）。 标准选自（1）包含在子串（STR_A_B）的子集（SET_A）内的最大子字符串（STR_A_C）内，（2）短于最大子字符串（STR_A_C），（3）发生的组中 与最大子串（STR_A_C）的频率相同，以及它们的组合。