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

1. 发明申请

US20110246962A1 STATE MACHINE EXPRESSIONS IN DATABASE OPERATORS 审中-公开
标题翻译：数据库操作员中的状态机表示
公开(公告)号：US20110246962A1
公开(公告)日：2011-10-06
申请号：US12753908
申请日：2010-04-05
申请人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Jeffrey van Gogh , John Wesley Dyer , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Jeffrey van Gogh , John Wesley Dyer , Brian C. Beckman
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F9/4498 , G06F16/284
摘要： A state machine may be represented using event-driven objects in a database query language. A bind operator from a database query language may be used as a state transition function, where the transition function has side effects defining the state. The objects may be manipulated with event driven expressions and operators and perform what would otherwise be complex operations with simple state machines.
摘要翻译：可以使用数据库查询语言中的事件驱动对象来表示状态机。来自数据库查询语言的绑定运算符可以用作状态转换函数，其中转换函数具有定义状态的副作用。可以使用事件驱动的表达式和运算符来操纵对象，并执行简单状态机的复杂操作。

2. 发明申请

US20090228904A1 DECLARATIVE SUPPORT FOR ASYNCHRONOUS METHODS 审中-公开
标题翻译：用于非同寻常方法的声明支持
公开(公告)号：US20090228904A1
公开(公告)日：2009-09-10
申请号：US12042113
申请日：2008-03-04
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Jeffrey Van Gogh , Danny Van Velzen , Harish Kantamneni , Dragos A. Manolescu , Brian Beckman , Benjamin Livshits
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Jeffrey Van Gogh , Danny Van Velzen , Harish Kantamneni , Dragos A. Manolescu , Brian Beckman , Benjamin Livshits
IPC分类号： G06F9/46
CPC分类号： G06F8/41 , G06F8/30 , G06F9/4484
摘要： Asynchronous methods and calls are produced automatically as a function of a declarative indication of intent. A method annotated with an asynchronous attribute or method call including a special asynchronous function can be identified. Subsequently, an asynchronous version of an identified synchronous method or call is generated automatically. Assistance is also provided for specifying intent.
摘要翻译：异步方法和调用是根据意图的声明性指示自动产生的。可以识别包含特殊异步功能的异步属性或方法调用注释的方法。随后，自动生成识别的同步方法或调用的异步版本。还提供了帮助来指定意图。

3. 发明申请

US20090199159A1 DECLARATIVE EXECUTION CONTEXT SPLITTING 审中-公开
标题翻译：宣告执行背景分割
公开(公告)号：US20090199159A1
公开(公告)日：2009-08-06
申请号：US12023041
申请日：2008-01-31
申请人： Henricus Johannes Maria Meijer , Brian Beckman , John Wesley Dyer , Jeffrey van Gogh , Benjamin Livshits , Dragos A. Manolescu , Danny van Velzen , Harish V. Kantamneni
发明人： Henricus Johannes Maria Meijer , Brian Beckman , John Wesley Dyer , Jeffrey van Gogh , Benjamin Livshits , Dragos A. Manolescu , Danny van Velzen , Harish V. Kantamneni
IPC分类号： G06F9/44
CPC分类号： G06F9/547
摘要： Various technologies and techniques are disclosed for enabling code to be executed on one or more execution contexts based upon declarative annotations contained in the code or other locations. An annotation associated with a region of code is located. The annotation specifies information about an execution context where the region of code should be executed. A caller proxy is generated that is responsible for calling a callee adapter to execute the region of code. The callee adapter is generated that is responsible for receiving a call from the caller proxy and for dispatching a call to the region of code at the execution context. At runtime, the caller proxy receives a request to call the region of code and sends an execution request to the callee adapter. The callee adapter receives the execution request and dispatches a call to an executable version of the region of code.
摘要翻译：公开了各种技术和技术，用于基于代码或其他位置中包含的声明性注释来使代码能够在一个或多个执行上下文上执行。找到与代码区域相关联的注释。注释指定应执行代码区域的执行上下文的信息。生成一个调用代理，负责调用被叫适配器来执行代码区域。生成被调用的适配器，该适配器负责从呼叫者代理接收呼叫，并在执行上下文中调度到代码区域。在运行时，调用者代理接收到调用代码区域的请求，并向被叫适配器发送执行请求。被叫适配器接收执行请求，并调度对代码区域的可执行版本。

4. 发明授权

US08806618B2 Security by construction for distributed applications 有权
标题翻译：分布式应用程序的安装安全
公开(公告)号：US08806618B2
公开(公告)日：2014-08-12
申请号：US12059930
申请日：2008-03-31
申请人： Benjamin Livshits , Henricus Johannes Maria Meijer , Brian Beckman , Jeffrey Van Gogh , Danny Van Velzen , Dragos A. Manolescu , Bryan Sullivan
发明人： Benjamin Livshits , Henricus Johannes Maria Meijer , Brian Beckman , Jeffrey Van Gogh , Danny Van Velzen , Dragos A. Manolescu , Bryan Sullivan
IPC分类号： G06F21/00
CPC分类号： G06F21/54 , H04L63/1483 , H04L67/02
摘要： Secure distributed applications are produced by default upon construction. Mechanisms are provided to address distributed application vulnerabilities (e.g., cross-site scripting, cross-site request forgery, replay attacks. . . ) automatically. These mechanisms are provided in conjunction with a tier split component that breaks up an application for execution across multiple contexts or tiers. As a result, any application that is tier split is protected from security vulnerabilities by default without any intervention on the part of a developer.
摘要翻译：安全的分布式应用程序在建造时默认生成。提供了自动解决分布式应用程序漏洞（例如，跨站点脚本，跨站点请求伪造，重播攻击等）的机制。这些机制与层次拆分组件一起提供，该组件可以跨多个上下文或层级分割应用程序以执行。因此，任何层次拆分的应用程序默认情况下均受到安全漏洞的保护，无需开发人员进行任何干预。

5. 发明申请

US20090249489A1 SECURITY BY CONSTRUCTION FOR WEB APPLICATIONS 有权
标题翻译： WEB应用安全安全
公开(公告)号：US20090249489A1
公开(公告)日：2009-10-01
申请号：US12059930
申请日：2008-03-31
申请人： Benjamin Livshits , Henricus Johannes Maria Meijer , Brian Beckman , Jeffrey Van Gogh , Danny Van Velzen , Dragos A. Manolescu , Bryan Sullivan
发明人： Benjamin Livshits , Henricus Johannes Maria Meijer , Brian Beckman , Jeffrey Van Gogh , Danny Van Velzen , Dragos A. Manolescu , Bryan Sullivan
IPC分类号： G06F21/00
CPC分类号： G06F21/54 , H04L63/1483 , H04L67/02
摘要： Secure distributed Web applications are produced by default upon construction. Mechanisms are provided to address distributed application vulnerabilities (e.g., cross-site scripting, cross-site request forgery, replay attacks . . . automatically. These mechanisms are provided in conjunction with a tier-splitting component that breaks up an application for execution across multiple contexts or tiers. As a result, any application that is tier split is protected from security vulnerabilities by default without any intervention on the part of a developer.
摘要翻译：安全分布式Web应用程序在构建时默认生成。提供了解决分布式应用程序漏洞（例如，跨站点脚本，跨站点请求伪造，自动重播攻击等）的机制，这些机制与分层组件一起提供，该组件可以分解跨多个应用程序执行因此，任何层次拆分的应用程序默认情况下均受到安全漏洞的保护，无需开发人员进行任何干预。

6. 发明申请

US20110138403A1 PUSH-BASED APPLICATION PROGRAM INTERFACE BASED ON DUALS OF A PULL-BASED APPLICATION PROGRAM INTERFACE 审中-公开
标题翻译：基于压缩应用程序接口双向的基于压缩的应用程序接口
公开(公告)号：US20110138403A1
公开(公告)日：2011-06-09
申请号：US12633160
申请日：2009-12-08
申请人： Henricus Johannes Maria Meijer , John Wesley Dyer , Dragos A. Manolescu
发明人： Henricus Johannes Maria Meijer , John Wesley Dyer , Dragos A. Manolescu
IPC分类号： G06F9/44
CPC分类号： G06F9/4486
摘要： Methods and devices are provided for defining push-based standard sequence operators based on respective duals of corresponding pull-based standard sequence operators. A push-based application program interface (API) may be defined based on mathematical duals of a corresponding pull-based API. The push-based API may include a library of routines, which further may include push-based standard sequence operators defined based on deriving mathematical duals of corresponding pull-based standard sequence operators. A protocol for processing a push-based collection may be defined as a mathematical dual of a protocol for processing a pull-based collection. In various embodiments, mathematical duality with respect to synchronous, pull-based, collections may be exploited to define operators for processing asynchronous push-based collections.
摘要翻译：提供了用于基于相应的基于拉式的标准序列运算符的相应双重定义基于推的基于标准序列运算符的方法和装置。可以基于相应的基于引用的API的数学双重来定义基于推送的应用程序接口（API）。基于推送的API可以包括例程库，其还可以包括基于相应的基于拉式的标准序列运算符的导出数学双重的定义的基于推的标准序列运算符。用于处理基于推送的集合的协议可以被定义为用于处理基于引用的集合的协议的数学双重。在各种实施例中，可以利用相对于同步，基于引用的集合的数学二元性来定义用于处理异步基于推送的集合的运算符。

7. 发明申请

US20100057822A1 INVERSE TRANSFORMATION LOADING 审中-公开
标题翻译：反向转换加载
公开(公告)号：US20100057822A1
公开(公告)日：2010-03-04
申请号：US12198971
申请日：2008-08-27
申请人： Dragos A. Manolescu , John Wesley Dyer , Henricus Johannes Maria Meijer
发明人： Dragos A. Manolescu , John Wesley Dyer , Henricus Johannes Maria Meijer
IPC分类号： G06F17/14 , H04L9/00
CPC分类号： G06F17/14
摘要： An inverse transformation and/or identification thereof is transmitted to a receiver to enable interpretation of transformed data. Rather than requiring installation of a transform on a sender and an inverse transform on a receiver prior to communication, an appropriate inverse transformation can be provided to and executed by a receiving component as needed. In accordance with one aspect, a transformation and associated inverse are selected dynamically as a function of context to minimize or maximize some parameter, for instance.
摘要翻译：将其逆变换和/或识别发送到接收机以使得能够解释变换的数据。在通信之前，不需要在发送器上安装变换和接收器上的逆变换，所以可以根据需要向接收组件提供适当的逆变换并由接收组件执行。根据一个方面，例如，将变换和相关联的逆动态地选择为上下文的函数以最小化或最大化某些参数。

8. 发明申请

US20110239229A1 PREDICATIVE AND PERSISTENT EVENT STREAMS 审中-公开
标题翻译：预测性和持续性事件流
公开(公告)号：US20110239229A1
公开(公告)日：2011-09-29
申请号：US12732244
申请日：2010-03-26
申请人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Dragos A. Manolescu , Brian C. Beckman
IPC分类号： G06F9/46
CPC分类号： G06F9/467
摘要： An event driven application may predict a future event and spawn an event stream from the predicted event. The spawned event stream may be performed as a predicted operation until the prediction is confirmed to be correct or incorrect. The predicted operation may generate results that may be present when the prediction is confirmed. In some cases, the results may be used prior to the predicted event, while in other cases, the results may be cached until the prediction is confirmed. In some cases, the predicted operation may be merged with an actual event stream when the predicted event occurs. The prediction mechanism may enhance performance, enable operations that would otherwise be difficult, and may save battery life or energy in some devices.
摘要翻译：事件驱动的应用程序可以预测将来的事件并从预测的事件产生事件流。产生的事件流可以作为预测操作执行，直到预测被确认为正确或不正确。预测的操作可以产生当预测被确认时可能存在的结果。在某些情况下，可以在预测事件之前使用结果，而在其他情况下，结果可以被缓存直到预测被确认。在某些情况下，当预测事件发生时，预测操作可以与实际事件流合并。预测机制可以增强性能，使得否则将是困难的操作，并且可以在一些设备中节省电池寿命或能量。

9. 发明授权

US09015667B2 Fuzz testing of asynchronous program code 有权
标题翻译：异步程序代码的模糊测试
公开(公告)号：US09015667B2
公开(公告)日：2015-04-21
申请号：US12898724
申请日：2010-10-06
申请人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey van Gogh
发明人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey van Gogh
IPC分类号： G06F9/44 , G06F11/07 , G06F11/36
CPC分类号： G06F11/3692 , G06F11/076 , G06F11/3684
摘要： A fuzz testing system is described herein that represents event sources, channels, processors, and consumers as first-class entities in an application. Abstracting event-related entities allows fuzzing through injecting, dropping, reordering, and delaying events from within the application. This translates into the ability to localize the areas under test and perform fuzzing in a systematic manner. In some embodiments, the fuzz testing system tests concurrent asynchronous and event-based code, and can generate event streams based on a given statistical distribution. Representing events, event sources, processors, and sinks as first-class objects provides easy access to the event handlers and facilitates implementing fuzzing by introducing event processors between the source and the sink. Thus, the fuzz testing system improves the testability of applications and APIs with asynchronous behavior and provides a uniform framework for introducing fuzz testing into such applications.
摘要翻译：本文描述了一种模糊测试系统，其将事件源，通道，处理器和消费者表示为应用程序中的一流实体。抽象事件相关实体允许通过从应用程序中注入，删除，重新排序和延迟事件进行模糊化。这转化为能够使被测试区域本地化，并以系统的方式进行模糊化。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并且可以基于给定的统计分布生成事件流。将事件，事件源，处理器和接收器作为一流对象，可以方便地访问事件处理程序，并通过在源和宿之间引入事件处理器来促进实现模糊化。因此，模糊测试系统提高了具有异步行为的应用程序和API的可测试性，并为此类应用程序提供了一个统一的框架来引入模糊测试。

10. 发明申请

US20120102458A1 GENERATING DOCUMENTATION FROM TESTS 审中-公开
标题翻译：从测试中生成文档
公开(公告)号：US20120102458A1
公开(公告)日：2012-04-26
申请号：US12909851
申请日：2010-10-22
申请人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
发明人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
IPC分类号： G06F9/44
CPC分类号： G06F8/73 , G06F11/3672
摘要： A documentation system is described herein that automatically generates documentation for software code from tests that verify the correct operation of the software code. Software development teams often write automated tests (software that tests the software being shipped), such as unit tests. When written correctly, these tests are a written contract of what the software is supposed to do. The documentation system can use static and dynamic analysis in combination with annotations in the test code to extract the contract from these tests and leverage the extracted information to automatically generate the documentation. The system can then visually display this information in a textual or graphical way. Thus, the documentation system generates documentation that more accurately reflects how software code is expected to operate, without introducing significant burdens into the software development cycle.
摘要翻译：本文描述了一个文档系统，它自动从验证软件代码正确操作的测试中生成软件代码的文档。软件开发团队经常编写自动测试（测试正在运送的软件的软件），如单元测试。当正确写入时，这些测试是软件应该做的书面合同。文档系统可以使用静态和动态分析结合测试代码中的注释来从这些测试中提取合同，并利用提取的信息自动生成文档。然后，系统可以以文本或图形的方式直观地显示该信息。因此，文档系统生成更准确地反映软件代码如何运行的文档，而不会对软件开发周期造成重大负担。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式