公开(公告)号：US09070118B2

公开(公告)日：2015-06-30

申请号：US13619054

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F13/00 ,  G06Q10/10 ,  H04L12/58

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

摘要翻译： 管理即时消息可以包括接收由或代表一个或多个消息源创建的即时消息，以便传送到预期接收者。 从接收到的即时消息中，可以识别满足捕获规则的限定即时消息，并且可以捕获两个或更多个限定即时消息。 预期的接收者可以不引人注意地通知所捕获的即时消息，并且还可以使得能够管理所捕获的即时消息。

公开(公告)号：US20130067002A1

公开(公告)日：2013-03-14

申请号：US13619009

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F15/16

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

摘要翻译： 管理即时消息可以包括接收由或代表一个或多个消息源创建的即时消息，以便传送到预期接收者。 从接收到的即时消息中，可以识别满足捕获规则的限定即时消息，并且可以捕获两个或更多个限定即时消息。 预期的接收者可以不引人注意地通知所捕获的即时消息，并且还可以使得能够管理所捕获的即时消息。

公开(公告)号：US20130073653A1

公开(公告)日：2013-03-21

申请号：US13619054

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F15/16

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

公开(公告)号：US07653693B2

公开(公告)日：2010-01-26

申请号：US10825617

申请日：2004-04-16

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F13/00

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

摘要翻译： 管理即时消息可以包括接收由或代表一个或多个消息源创建的即时消息，以便传送到预期接收者。 从接收到的即时消息中，可以识别满足捕获规则的限定即时消息，并且可以捕获两个或更多个限定即时消息。 预期的接收者可以不引人注意地通知所捕获的即时消息，并且还可以使得能够管理所捕获的即时消息。

公开(公告)号：US20130067003A1

公开(公告)日：2013-03-14

申请号：US13619036

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, JR. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F15/16

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

公开(公告)号：US10102504B2

公开(公告)日：2018-10-16

申请号：US13619036

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F13/00 ,  G06Q10/10 ,  H04L12/58

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

公开(公告)号：US08775538B2

公开(公告)日：2014-07-08

申请号：US13619009

申请日：2012-09-14

申请人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

发明人： Brian Dean Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Mathews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson, Jr. ,  Perry E. Miranda Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah Ruth Yurow

IPC分类号： G06F13/00 ,  G06Q10/10

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

摘要翻译： 管理即时消息可以包括接收由或代表一个或多个消息源创建的即时消息，以便传送到预期接收者。 从接收到的即时消息中，可以识别满足捕获规则的限定即时消息，并且可以捕获两个或更多个限定即时消息。 预期的接收者可以不引人注意地通知所捕获的即时消息，并且还可以使得能够管理所捕获的即时消息。

公开(公告)号：US08577972B1

公开(公告)日：2013-11-05

申请号：US12689699

申请日：2010-01-19

申请人： Brian D. Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Matthews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson ,  Perry E. Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah R. Yurow

发明人： Brian D. Heikes ,  Kristine Amber Krantz ,  Kelly Monroe Matthews ,  Russell Scott Medeiros ,  Venkatesh Ramanathan ,  Richard W. Robinson ,  Perry E. Roman ,  Edward L. Sears ,  Andrew L. Wick ,  Deborah R. Yurow

IPC分类号： G06F13/00

CPC分类号： G06Q10/107 ,  H04L51/04

摘要： Managing instant messages may include receiving instant messages created by or on behalf of one or more message sources for delivery to an intended recipient. From among the received instant messages, qualifying instant messages may be identified that satisfy a capture rule, and two or more of the qualifying instant messages may be captured. The intended recipient may be informed of the captured instant messages unobtrusively, and also may be enabled to manage the captured instant messages.

摘要翻译： 管理即时消息可以包括接收由或代表一个或多个消息源创建的即时消息，以便传送到预期接收者。 从接收到的即时消息中，可以识别满足捕获规则的限定即时消息，并且可以捕获两个或更多个限定即时消息。 预期的接收者可以不引人注意地通知所捕获的即时消息，并且还可以使得能够管理所捕捉的即时消息。

公开(公告)号：US08977533B2

公开(公告)日：2015-03-10

申请号：US13023900

申请日：2011-02-09

申请人： Ulka Shrotri ,  Venkatesh Ramanathan ,  Ravindra Metta

发明人： Ulka Shrotri ,  Venkatesh Ramanathan ,  Ravindra Metta

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

CPC分类号： G06F8/433 ,  G06F11/28

摘要： The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.

摘要翻译： 本发明提供了一种用于在大型商业状态状态图模型中检测不可达状态的系统和方法。 一种用于在状态模型中检查任何给定状态的可达性的系统，所述系统包括：用于接收原始状态模型（OSM）的输入装置，用于向用户显示结果的输出装置和处理器，其中所述处理器 能够执行编程指令：通过使用翻译器将OSM转换为第一语态模型（FSM）; 基于所确定的超级步长的长度，将OSM转换为第二状态模型（SSM），使得SSM的所有初始配置的集合是通过使用翻译器对OSM的所有稳定配置的超集; 通过使用有界模型检查器（BMC）检查SSM中OSM状态的可达性; 并将结果发送到输出装置。

公开(公告)号：US08612938B2

公开(公告)日：2013-12-17

申请号：US12652297

申请日：2010-01-05

申请人： Bokil Prasad ,  Darke Priyanka ,  Venkatesh Ramanathan ,  Shrotri Ulka

发明人： Bokil Prasad ,  Darke Priyanka ,  Venkatesh Ramanathan ,  Shrotri Ulka

IPC分类号： G06F9/44

CPC分类号： G06F11/3612 ,  G06F11/3684

摘要： The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.

摘要翻译： 该工具，MC / DC自动刀具发生器自动生成测试数据，以满足来自输入代码/模型的修改条件决策覆盖（MCDC）。 该工具可显着减少生成MCDC测试数据所需的工作量。 为了减少模型检查所需的时间，已经实施抽象和优化方​​法来分析典型的反应性软件模型/代码。