公开(公告)号：US08918772B1

公开(公告)日：2014-12-23

申请号：US11782778

申请日：2007-07-25

申请人： David MacLachlan ,  Greg Miller

发明人： David MacLachlan ,  Greg Miller

IPC分类号： G06F9/45

CPC分类号： G06F8/54 ,  G06F11/3604

摘要： One embodiment of the present invention provides a system that uses static analysis to determine program correctness for a program written in a dynamic programming language. During operation, the system receives executable code for a program written in the dynamic programming language. The system identifies a program method called in the executable code, and determines if the program method is implemented for the executable code. If not, the system signals that the program method is not implemented for the executable code.

摘要翻译： 本发明的一个实施例提供了一种使用静态分析来确定用动态编程语言编写的程序的程序正确性的系统。 在操作期间，系统接收用动态编程语言编写的程序的可执行代码。 系统识别可执行代码中调用的程序方法，并确定是否为可执行代码实现了程序方法。 如果没有，则系统发出程序方法未实现的可执行代码。

公开(公告)号：US08387020B1

公开(公告)日：2013-02-26

申请号：US11782793

申请日：2007-07-25

申请人： David MacLachlan ,  Thomas E. Van Lenten

发明人： David MacLachlan ,  Thomas E. Van Lenten

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

CPC分类号： G06F11/3604 ,  G06F11/3672

摘要： One embodiment of the present invention provides a system that verifies that a program method has been implemented for a program written in a dynamic programming language. During operation, the system receives a user request to check for an implementation of a program method (or method) that is called in the program. The system uses information in this user request to generate a testing method that determines whether a class associated with the method responds to a specific request. This testing method is executed at run-time to verify that the method is implemented for the program.

摘要翻译： 本发明的一个实施例提供了一种验证程序方法已被实现为用动态编程语言编写的程序的系统。 在操作期间，系统接收用户请求以检查程序中调用的程序方法（或方法）的实现。 该系统使用该用户请求中的信息来生成测试方法，该方法确定与方法相关联的类是否响应特定请求。 该测试方法在运行时执行，以验证方法是否为程序实现。

公开(公告)号：US20150046599A1

公开(公告)日：2015-02-12

申请号：US13246511

申请日：2011-09-27

申请人： Sergey Ulanov ,  Alberto Martin ,  Albert Wong ,  Hin Chung Lam ,  Gary Kacmarcik ,  David Maclachlan

发明人： Sergey Ulanov ,  Alberto Martin ,  Albert Wong ,  Hin Chung Lam ,  Gary Kacmarcik ,  David Maclachlan

IPC分类号： G06F15/16

CPC分类号： H04N21/64707 ,  H04L65/608 ,  H04L67/38 ,  H04L67/40 ,  H04L69/14 ,  H04L69/18

摘要： In a general aspect, a computer-readable storage medium stores instructions that when executed cause a processor to perform a process. The instructions can include instructions to transmit video data of a remote desktop session to a client via a first data channel using a first protocol. The instructions can also include instructions to transmit event data of the remote desktop session to the client via a second data channel using a second protocol, the second protocol being different than the first protocol.

摘要翻译： 在一般方面，计算机可读存储介质存储当执行时导致处理器执行处理的指令。 指令可以包括通过使用第一协议经由第一数据信道将远程桌面会话的视频数据传送到客户端的指令。 所述指令还可以包括通过使用第二协议经由第二数据信道将远程桌面会话的事件数据传送到客户端的指令，所述第二协议不同于第一协议。

公开(公告)号：US2012197A

公开(公告)日：1935-08-20

申请号：US73195034

申请日：1934-06-22

申请人： DAVID MACLACHLAN ,  WALTER HOWIE

发明人： DAVID MACLACHLAN ,  WALTER HOWIE

IPC分类号： B65D25/38

CPC分类号： B65D25/385 ,  Y10T137/86332

公开(公告)号：US08407249B1

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

申请号：US13226165

申请日：2011-09-06

申请人： Michael Pinkerton ,  Thomas E. Van Lenten ,  Amanda E. Walker ,  David MacLachlan ,  Greg Miller ,  Alex B. Harper

发明人： Michael Pinkerton ,  Thomas E. Van Lenten ,  Amanda E. Walker ,  David MacLachlan ,  Greg Miller ,  Alex B. Harper

IPC分类号： G06F17/30

CPC分类号： G06F21/6209

摘要： One embodiment of the present invention provides a system that controls accesses to revisions of documents in the presence of a multi-user permissions and ownership model. During operation, the system receives a request to on behalf of a user to access a revision of a document. If the request is directed to a most-recent revision of an existing document, the system uses the multi-user permissions and ownership model to control access to the revision. Otherwise, if the request is directed to a previous revision of the document, the system grants access to the revision only if the user was the owner of the document at the time of the revision.

摘要翻译： 本发明的一个实施例提供了一种在存在多用户权限和所有权模型的情况下控制对文档修订的访问的系统。 在操作期间，系统接收代表用户访问文档的修订的请求。 如果请求针对现有文档的最新版本，系统将使用多用户权限和所有权模型来控制对修订的访问。 否则，如果请求被引导到文档的先前版本，则只有在用户是修订时文档的所有者时，系统授予对修订版本的访问权限。

公开(公告)号：US08019780B1

公开(公告)日：2011-09-13

申请号：US11731662

申请日：2007-03-30

申请人： Michael Pinkerton ,  Thomas E. Van Lenten ,  Amanda E. Walker ,  David MacLachlan ,  Greg Miller ,  Alex B. Harper

发明人： Michael Pinkerton ,  Thomas E. Van Lenten ,  Amanda E. Walker ,  David MacLachlan ,  Greg Miller ,  Alex B. Harper

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

CPC分类号： G06F21/6209

摘要： One embodiment of the present invention provides a system that controls accesses to revisions of documents in the presence of a multi-user permissions and ownership model. During operation, the system receives a request to on behalf of a user to access a revision of a document. If the request is directed to a most-recent revision of an existing document, the system uses the multi-user permissions and ownership model to control access to the revision. Otherwise, if the request is directed to a previous revision of the document, the system grants access to the revision only if the user was the owner of the document at the time of the revision.

摘要翻译： 本发明的一个实施例提供了一种在存在多用户权限和所有权模型的情况下控制对文档修订的访问的系统。 在操作期间，系统接收代表用户访问文档修订的请求。 如果请求针对现有文档的最新版本，系统将使用多用户权限和所有权模型来控制对修订的访问。 否则，如果请求被引导到文档的先前版本，则只有在用户是修订时文档的所有者时，系统授予对修订版本的访问权限。