利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

11 条记录 (耗时 0.035 秒)

    Method and device for verification of code module in virtual machine
    3.
    发明授权
    Method and device for verification of code module in virtual machine 失效
    虚拟机代码模块验证方法和设备

    公开(公告)号：US08356351B2

    公开(公告)日：2013-01-15

    申请号：US12016398

    申请日：2008-01-18

    申请人： Rong Yao Fu ,  Hai Tao Long ,  William J. Tracey ,  David Alvra Wood, III

    发明人： Rong Yao Fu ,  Hai Tao Long ,  William J. Tracey ,  David Alvra Wood, III

    IPC分类号： G06F11/00 ,  G06F12/14 ,  G06F12/16 ,  G06F7/04 ,  G06F17/30 ,  G06F9/45 ,  G06F9/455 ,  G06F11/30 ,  G08B23/00 ,  H04N7/16 ,  H04L9/32 ,  H04L29/06

    CPC分类号： G06F9/44589 ,  G06F21/53

    摘要： A method for pre-verification of a code module when the code module is installed or updated in a virtual machine, comprising: loading codes in the installed or updated code module; performing code verification on the codes in the code module; if the code verification is passed, generating a certificate of the code module; and storing the code module passing the code verification and its certificate. The present invention also discloses a method for verification of a code module at runtime of the code module in a virtual machine, comprising loading codes in the code module; generating a certificate of the code module based on the loaded codes; if the generated certificate of the code module and a pre-stored certificate of the code module are identical, verifying the code module to be valid; otherwise performing a pre-verification on the code module.

    摘要翻译： 一种在虚拟机中安装或更新代码模块时对代码模块进行预验证的方法，包括：在已安装或更新的代码模块中加载代码; 对代码模块中的代码执行代码验证; 如果代码验证通过，生成代码模块的证书; 并存储通过代码验证的代码模块及其证书。 本发明还公开了一种用于在虚拟机中的代码模块的运行时验证代码模块的方法，包括在代码模块中加载代码; 基于加载的代码生成代码模块的证书; 如果生成的代码模块的证书和代码模块的预存的证书是相同的，则验证代码模块是否有效; 否则在代码模块上执行预验证。

    System and method for correction and confirmation dialog for hand printed character input to a data processing system
    4.
    发明授权
    System and method for correction and confirmation dialog for hand printed character input to a data processing system 失效
    用于手动打印字符输入到数据处理系统的校正和确认对话框的系统和方法

    公开(公告)号：US5802388A

    公开(公告)日：1998-09-01

    申请号：US767137

    申请日：1996-12-19

    申请人： John Mark Zetts ,  Mario Jose Galliano ,  Alan R. Tannenbaum ,  William J. Tracey ,  Keun J. Lee ,  Moe R. Desrosiers

    发明人： John Mark Zetts ,  Mario Jose Galliano ,  Alan R. Tannenbaum ,  William J. Tracey ,  Keun J. Lee ,  Moe R. Desrosiers

    IPC分类号： G06F3/033 ,  G06F3/048 ,  G06K9/03 ,  G06F3/00

    CPC分类号： G06K9/033 ,  G06F3/04883

    摘要： A data processing system corrects handprinted character input represented as a sequence of points described by a writing path of a pointing device. The system receives a writing path signal from a pointing device in the data processing system, describing a first hand printed character input. The system performs character recognition on the writing path signal to provide a first character string. The system then displays the first character string in an edit pad area. The system then receives a correcting writing path signal in the edit pad area from the pointing device, describing a correction to the first hand printed character input. The system then performs character recognition on the correcting writing path signal to provide a second character string.

    摘要翻译： 数据处理系统校正表示为由指示设备的写入路径描述的点的序列的手印字符输入。 该系统从数据处理系统中的指示装置接收写入路径信号，描述第一手印刷字符输入。 该系统对写入路径信号执行字符识别以提供第一个字符串。 然后，系统在编辑区域中显示第一个字符串。 然后，该系统从指示设备接收编辑区域中的校正写入路径信号，描述对第一手印刷字符输入的校正。 然后，系统对校正写入路径信号执行字符识别，以提供第二字符串。

    Methods and apparatus of disseminating broadcast information to a handheld device
    6.
    发明授权
    Methods and apparatus of disseminating broadcast information to a handheld device 失效
    将广播信息传播到手持设备的方法和装置

    公开(公告)号：US06968568B1

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

    申请号：US09467418

    申请日：1999-12-20

    申请人： Edwin James Hilpert, Jr. ,  Michael Joseph Sullivan ,  William J. Tracey ,  Jonathan Mark Wagner

    发明人： Edwin James Hilpert, Jr. ,  Michael Joseph Sullivan ,  William J. Tracey ,  Jonathan Mark Wagner

    IPC分类号： G06F21/00 ,  H04H20/82 ,  H04H60/07 ,  H04H60/73 ,  H04L12/18 ,  H04L12/58 ,  H04N21/262 ,  H04N21/414 ,  H04N21/482 ,  H04N21/61 ,  H04N7/173

    CPC分类号： H04L12/1859 ,  H04H20/16 ,  H04H20/82 ,  H04H60/07 ,  H04H60/73 ,  H04L51/12 ,  H04N21/26266 ,  H04N21/26291 ,  H04N21/41407 ,  H04N21/482 ,  H04N21/6125

    摘要： Broadcast information is classified in categories to facilitate user selection and filtration of the broadcast information which is processed for presentation to the user. The broadcast information is transmitted in the form of a meta frame and one or more category frames which are repeated in a continuous cycle. Meta frames and category frames are distinguished and identified by major and minor codes following a frame starting delimiter. The meta frame contains a description of each of the available categories, together with an identification of respective category major and minor codes, the frequency on which the respective category frame is transmitted if multiple frequencies are employed, and the relative position of the respective category frame within transmission cycle. If multiple frequencies are employed, the meta frame may be repeatedly broadcast on a base frequency while subsets of the category frames are transmitted on different frequencies, or the meta and category frames may be repeated in sequence on all frequencies but with varying offsets. Upon user selection of a category, the category information within the meta frame is employed to construct or key a filter for the broadcast information. The selected category frame data is received and added to a local database, formatted, and presented to the user.

    摘要翻译： 广播信息被分类以便于用户选择和过滤被处理以呈现给用户的广播信息。 广播信息以连续周期重复的元帧和一个或多个类别帧的形式发送。 元帧和类别帧由帧起始分隔符之后的主要和次要代码区分和标识。 元帧包含每个可用类别的描述，以及相应类别主要和次要代码的标识，如果采用多个频率则发送相应类别帧的频率，以及相应类别帧的相对位置 在传输周期内。 如果使用多个频率，则可以在基本频率上重复地广播元帧，而在不同频率上发送类别帧的子集，或者可以在所有频率上但是具有不同偏移的顺序重复元类别和类别帧。 在用户选择类别时，使用元帧内的类别信息来构建或键入广播信息的过滤器。 所选择的类别帧数据被接收并被添加到本地数据库，被格式化并呈现给用户。

    Persistent storage managers for configuring client/server environments
    8.
    发明授权
    Persistent storage managers for configuring client/server environments 失效
    用于配置客户端/服务器环境的持久存储管理器

    公开(公告)号：US06351751B1

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

    申请号：US09079042

    申请日：1998-05-14

    申请人： Bernard A. Traversat ,  Jeffrey A. Schmidt ,  Thomas Saulpaugh ,  Steve Woodward ,  William J. Tracey

    发明人： Bernard A. Traversat ,  Jeffrey A. Schmidt ,  Thomas Saulpaugh ,  Steve Woodward ,  William J. Tracey

    IPC分类号： G06F1700

    CPC分类号： H04L29/06 ,  G06F9/4493 ,  H04L67/303 ,  H04L67/34 ,  H04L69/329 ,  Y10S707/99944 ,  Y10S707/99945

    摘要： Innovative managers of persistent data are provided. As an example, in a client/server environment, a persistent manager object may be initialized on both the client and server subsystems. The persistent manager objects may be instances of the same persistent manager class. The persistent manager object on the client subsystem may receive a request to store persistent data and the persistent manager object on the client sends the request to the persistent manager object on the server subsystem. The persistent manager object on the server subsystem may then store the persistent data to make it subsequently be available for the client subsystem.

    摘要翻译： 提供永久数据的创新经理。 例如，在客户端/服务器环境中，可以在客户端和服务器子系统上初始化持久性管理对象。 持久性管理对象可以是同一持久管理器类的实例。 客户端子系统上的持久性管理对象可以接收存储持久数据的请求，并且客户端上的持久性管理对象将请求发送到服务器子系统上的持久性管理对象。 然后，服务器子系统上的持久性管理对象可能会存储持久性数据，使其随后可用于客户端子系统。

    System and method for embedded java memory footprint performance improvement
    9.
    发明授权
    System and method for embedded java memory footprint performance improvement 失效
    嵌入式java内存占用性能提升的系统和方法

    公开(公告)号：US08281291B2

    公开(公告)日：2012-10-02

    申请号：US11967142

    申请日：2007-12-29

    申请人： Janet Dmitrovich ,  Philip Lee Langdale ,  James Patrick Robbins ,  William J. Tracey

    发明人： Janet Dmitrovich ,  Philip Lee Langdale ,  James Patrick Robbins ,  William J. Tracey

    IPC分类号： G06F9/45

    CPC分类号： G06F12/0866 ,  G06F9/45516 ,  G06F2212/2022

    摘要： A system and method are provided to allow demand loading and discarding of Java executable image (JXE) files. The virtual machine allocates an address space for a requested JXE program. The read-only portion of the JXE file is memory mapped from its nonvolatile location to the allocated memory space using read-only mapping and the read/write section of the JXE file are loaded into memory. When a page of the JXE program is needed, a page fault occurs if the read-only portion has not been loaded into memory. The operating system's page fault handler retrieves the needed page(s) from the nonvolatile storage location based upon the mapping data that resulted from the previously performed memory mapping. Because the read-only section of the JXE file is memory mapped using read-only mapping, the operating system's paging process is free to discard previously loaded memory pages that contain read-only portions of the JXE file.

    摘要翻译： 提供了一种系统和方法来允许需求加载和丢弃Java可执行映像（JXE）文件。 虚拟机为所请求的JXE程序分配一个地址空间。 使用只读映射将JXE文件的只读部分从其非易失性位置映射到分配的存储空间，并将JXE文件的读/写部分加载到内存中。 当需要JXE程序的页面时，如果只读部分尚未加载到内存中，则会发生页面错误。 操作系统的页面错误处理器基于从先前执行的存储器映射产生的映射数据，从非易失性存储位置检索所需的页面。 由于JXE文件的只读部分是使用只读映射进行内存映射，因此操作系统的分页过程可以放弃先前加载的包含JXE文件只读部分的内存页面。

    METHOD AND DEVICE FOR VERIFICATION OF CODE MODULE IN VIRTUAL MACHINE
    10.
    发明申请
    METHOD AND DEVICE FOR VERIFICATION OF CODE MODULE IN VIRTUAL MACHINE 失效
    用于验证虚拟机中代码模块的方法和装置

    公开(公告)号：US20080209556A1

    公开(公告)日：2008-08-28

    申请号：US12016398

    申请日：2008-01-18

    申请人： Rong Yao Fu ,  Hai Tao Long ,  William J. Tracey ,  David Alvra Wood

    发明人： Rong Yao Fu ,  Hai Tao Long ,  William J. Tracey ,  David Alvra Wood

    IPC分类号： G06F11/00

    CPC分类号： G06F9/44589 ,  G06F21/53

    摘要： A method for pre-verification of a code module when the code module is installed or updated in a virtual machine, comprising: loading codes in the installed or updated code module; performing code verification on the codes in the code module; if the code verification is passed, generating a certificate of the code module; and storing the code module passing the code verification and its certificate. The present invention also discloses a method for verification of a code module at runtime of the code module in a virtual machine, comprising loading codes in the code module; generating a certificate of the code module based on the loaded codes; if the generated certificate of the code module and a pre-stored certificate of the code module are identical, verifying the code module to be valid; otherwise performing a pre-verification on the code module.

    摘要翻译： 一种在虚拟机中安装或更新代码模块时对代码模块进行预验证的方法，包括：在已安装或更新的代码模块中加载代码; 对代码模块中的代码执行代码验证; 如果代码验证通过，生成代码模块的证书; 并存储通过代码验证的代码模块及其证书。 本发明还公开了一种用于在虚拟机中的代码模块的运行时验证代码模块的方法，包括在代码模块中加载代码; 基于加载的代码生成代码模块的证书; 如果生成的代码模块的证书和代码模块的预存的证书是相同的，则验证代码模块是否有效; 否则在代码模块上执行预验证。