专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20190171532A1 MANAGING BIG DATA ON DOCUMENT BASED NoSQL DATABASES 审中-公开
公开(公告)号：US20190171532A1
公开(公告)日：2019-06-06
申请号：US15830163
申请日：2017-12-04
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Aharon Abadi , Roie Melamed , Hisham Yasin , Ashraf Haib
IPC分类号： G06F11/14 , H04L29/08 , G06F17/30
摘要： A document management system including a document manager connected to a document storage, and a backup coordinator connected to the document manager and adapted to: continuously receive a plurality of notifications from the document manager, each including information describing a change in a document stored in the document manager's document storage; and for each notification in the plurality of notifications: select a backup agent from a plurality of backup agents connected to the backup coordinator; send a backup request to the backup agent including the information, for the purpose of updating a copy of the document stored in a backup storage connected to the backup agent; wait for an acknowledgement message from the backup agent; and send another backup request to another backup agent selected from the plurality of backup agents upon a failure to receive the acknowledgement message within an identified amount of time after sending the backup request.

2. 发明授权

US10296306B2 Embedded location awareness in UML modeling for mobile and IoT development 有权
公开(公告)号：US10296306B2
公开(公告)日：2019-05-21
申请号：US15607535
申请日：2017-05-29
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Yael Dubinsky , Mordechai Nisenson
IPC分类号： G06F9/44 , G06F8/35 , H04L29/08 , H04L12/24
摘要： According to an aspect of some embodiments of the present invention there is provided a computer implemented method of automatically generating and storing a data structure for displaying a Unified Modeling Language (UML) model of behavior of a network of computing devices, the behavior dependent on location of the computing devices, comprising: creating a UML model comprising a plurality of line charts arranged in parallel to a time indicating axis, adding to the displayed UML model a plurality of connectors indicating communication between two entities, where a distance between each two line charts of the plurality of line charts in the UML model maps a geographical distance therebetween, and wherein the distance and the value and the plurality of connectors are editable according to at least one user input indicative of a selection of an area of the displayed UML model.

3. 发明授权

US10248536B2 Method for static and dynamic configuration verification 有权
公开(公告)号：US10248536B2
公开(公告)日：2019-04-02
申请号：US15338485
申请日：2016-10-31
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Nili Ifergan-Guy , Dmitri Pikus , Oleg Sternberg
IPC分类号： G06F11/36 , G06F8/71 , G06F8/75
摘要： According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

4. 发明授权

US10055329B2 Detection of antipatterns through statistical analysis 有权
公开(公告)号：US10055329B2
公开(公告)日：2018-08-21
申请号：US14870134
申请日：2015-09-30
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Omer Tripp
IPC分类号： G06F9/44 , G06F11/36 , G06F8/00
CPC分类号： G06F11/3616 , G06F8/00 , G06F8/20 , G06F8/36 , G06F8/43 , G06F11/3608
摘要： A computer implemented method of detecting code antipatterns, comprising: 1) Receiving a code containing one or more of a plurality of code segments, each one of the one or more code segments includes one or more of a plurality of patterns. 2) Automatically analyzing each one of the one or more code segment to create an array of a plurality of features vectors, each one of the plurality of features vectors maps a plurality of predefined features found in one or more patterns. 3) Matching each one of the plurality of features vectors with a plurality of template features vectors each representing one of a plurality of antipatterns, the plurality of template features vectors is stored in an antipatterns dataset. 4) Determining a presence or an absence of each of the plurality of antipatterns within each of the one or more code segments according to the matching.

5. 发明申请

US20180129581A1 METHOD FOR STATIC AND DYNAMIC CONFIGURATION VERIFICATION 审中-公开
公开(公告)号：US20180129581A1
公开(公告)日：2018-05-10
申请号：US15344600
申请日：2016-11-07
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Nili Ifergan - Guy , Dmitri Pikus , Oleg Sternberg
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3608 , G06F8/71 , G06F11/3604
摘要： According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

6. 发明申请

US20170269912A1 EMBEDDED LOCATION AWARENESS IN UML MODELING FOR MOBILE AND IoT DEVELOPMENT 审中-公开
公开(公告)号：US20170269912A1
公开(公告)日：2017-09-21
申请号：US15607535
申请日：2017-05-29
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Yael Dubinsky , Mordechai Nisenson , Sergey Zeltyn
IPC分类号： G06F9/44 , H04L12/24 , H04L29/08
CPC分类号： G06F8/35 , G06F3/00 , H04L41/145 , H04L41/22 , H04L67/18
摘要： According to an aspect of some embodiments of the present invention there is provided a computer implemented method of automatically generating and storing a data structure for displaying a Unified Modeling Language (UML) model of behavior of a network of computing devices, the behavior dependent on location of the computing devices, comprising: creating a UML model comprising a plurality of line charts arranged in parallel to a time indicating axis, adding to the displayed UML model a plurality of connectors indicating communication between two entities, where a distance between each two line charts of the plurality of line charts in the UML model maps a geographical distance therebetween, and wherein the distance and the value and the plurality of connectors are editable according to at least one user input indicative of a selection of an area of the displayed UML model.

7. 发明申请

US20160182654A1 Moving Critical Actions Within A Mobile Application 有权
标题翻译：在移动应用程序中移动关键操作
公开(公告)号：US20160182654A1
公开(公告)日：2016-06-23
申请号：US14572803
申请日：2014-12-17
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Jonathan Bnayahu , Idan Ben-Harrush
IPC分类号： H04L29/08 , H04L29/06
CPC分类号： H04W4/60
摘要： A computer-implemented method, a computerized apparatus and a computer program product, the method comprising: receiving a program to be executed on a mobile device; building a data structure representing states within the program and transitions between the states; and based on the data structure, determining by a processor a location of at least one command related to using data retrieved from a server, such that at least one fetching command is to be provided for the data to be available when execution reaches the location.
摘要翻译：一种计算机实现的方法，计算机化设备和计算机程序产品，所述方法包括：接收要在移动设备上执行的程序; 构建表示程序中状态的数据结构和状态之间的转换; 并且基于所述数据结构，由处理器确定与使用从服务器检索的数据相关的至少一个命令的位置，使得当执行到达所述位置时，为所述数据提供至少一个提取命令以使所述数据可用。

8. 发明授权

US09195458B2 System and/or method for computing interprocedural dominators 有权
标题翻译：用于计算过程间统治者的系统和/或方法
公开(公告)号：US09195458B2
公开(公告)日：2015-11-24
申请号：US13955017
申请日：2013-07-31
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Jonathan Bnayahu , Yishai Feldman
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/433 , G06F8/40 , G06F8/73 , G06F8/75 , G06F11/3624 , G06F11/3628
摘要： According to an aspect of some embodiments of the present invention there is provided a computerized method of analyzing code of a software program for dominance relationships between a plurality of functions of the software program, the method comprising: receiving source code of a software program, the source code having a plurality of functions; identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions; combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph with edges that logically connect between nodes of the plurality of functions; identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph; and analyzing the software program according to the plurality of interprocedural dominance relations.
摘要翻译：根据本发明的一些实施例的方面，提供了一种分析软件程序的代码以计算软件程序的多个功能之间的优势关系的计算机化方法，所述方法包括：接收软件程序的源代码，具有多个功能的源代码; 识别多个在多个功能中的另一个功能的过程内控制器图; 组合多个进程内控制器图形以创建具有在多个功能的节点之间逻辑连接的边缘的过程间优势图; 使用所述过程间优势图来识别所述多个功能的不同功能中的节点之间的多个过程间优势关系; 并根据多个进程间优势关系分析软件程序。

9. 发明申请

US20150248342A1 METHOD FOR FINDING ALL VALID INTERPROCEDURAL EXECUTION PATHS ON COBOL IN POLYNOMIAL TIME 有权
标题翻译：在多边形时间内找到所有有效的联合执行方法
公开(公告)号：US20150248342A1
公开(公告)日：2015-09-03
申请号：US14194821
申请日：2014-03-03
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Ran Ettinger , Yishai Feldman
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/364 , G06F8/4435 , G06F11/3612
摘要： Disclosed are methods for finding all valid paths in a COBOL program. These methods are performed in polynomial time, allowing them to be scaled to accommodate large COBOL programs. As the methods find all valid paths in COBOL program code, by traversing and marking the nodes of the program upon being traversed. Accordingly, all usable and reachable code is indicated and marked. This increases safety when working with the code, as removal or alteration of such valid code is indicated, and thus, made unlikely.
摘要翻译：公开了在COBOL程序中找到所有有效路径的方法。这些方法在多项式时间内执行，允许它们被缩放以适应大型COBOL程序。由于方法在COBOL程序代码中找到所有有效的路径，通过遍历和标记遍历程序的节点。因此，指示和标记所有可用和可达到的代码。这样在使用代码时会增加安全性，因为指出了删除或更改此类有效代码，因此不太可能。

10. 发明申请

US20150106303A1 FINITE STATE MACHINE FORMING 审中-公开
标题翻译：有限状态机的形成
公开(公告)号：US20150106303A1
公开(公告)日：2015-04-16
申请号：US14052778
申请日：2013-10-14
申请人： International Business Machines Corporation
发明人： Aharon Abadi , Moria Abadi , Idan Ben-Harrush
IPC分类号： G06N5/02
CPC分类号： G06N5/02 , G06F9/4498 , G06F9/451
摘要： Techniques for representing a finite state machine forming are described herein. The techniques include a method that identifies screens of a computing program. The method may include correlating the identified screens with states of a finite state machine. Events indicating transition between the identified screens may be determined as well as data flow associated with the events. The method may include forming a graph representing the screens, events, and data flow in the finite state machine.
摘要翻译：本文描述了用于表示有限状态机形成的技术。这些技术包括识别计算程序的屏幕的方法。该方法可以包括将所识别的屏幕与有限状态机的状态相关联。可以确定指示所识别的屏幕之间的转换的事件以及与事件相关联的数据流。该方法可以包括形成表示有限状态机中的屏幕，事件和数据流的图。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式