会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Directed testing for property violations
    • 针对财产违规的定向测试
    • US08468499B2
    • 2013-06-18
    • US12722404
    • 2010-03-11
    • Dinakar DhurjatiAjay ChanderHiroshi Inamura
    • Dinakar DhurjatiAjay ChanderHiroshi Inamura
    • G06F9/44G06F9/45
    • G06F11/3676
    • A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.
    • 本文公开了一种用于应用的自动化测试的方法和装置。 处理系统使用针对感兴趣的属性测试应用所生成的测试输入值来执行应用。 在执行期间,收集应用程序的符号变量之间的约束。 收集财产状态,并用于确定应用程序中的分支是否与该属性相关。 基于收集的约束和分支相关性,生成新的测试输入值。 重复该过程,直到已经探索到与相关分支相对应的应用中的所有路径。
    • 3. 发明授权
    • System and methods for optimizing user interaction in web-related activites
    • 用于在网络相关活动中优化用户交互的系统和方法
    • US08452720B2
    • 2013-05-28
    • US12692442
    • 2010-01-22
    • Dong ZhouAjay ChanderHiroshi Inamura
    • Dong ZhouAjay ChanderHiroshi Inamura
    • G06F17/00G06F7/00
    • G06F9/453
    • A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur.
    • 本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。 在一个实施例中,该方法包括监视用户当前与浏览器的交互,基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务,以及基于先前一个或多个先前生成的一个或多个规则 记录的浏览器交互,以及基于预测生成并且显示与浏览器的用户界面组件,所述用户界面组件可由用户选择并且表示用户可以选择发生的交互(或交互序列)。
    • 4. 发明申请
    • DATA CONTROL DEVICE, DATA CONTROL METHOD, AND COMPUTER-READABLE MEDIUM
    • 数据控制装置,数据控制方法和计算机可读介质
    • US20110131179A1
    • 2011-06-02
    • US12948137
    • 2010-11-17
    • Maki OhataTomohiro NakagawaKazuhisa SekineKen OhtaHiroshi Inamura
    • Maki OhataTomohiro NakagawaKazuhisa SekineKen OhtaHiroshi Inamura
    • G06F17/00G06F17/30
    • G06F21/53G06F9/468G06F9/543
    • A data control device includes: an execution unit that executes, as an active runtime environment, one of a plurality of runtime environments each provided with an individual clipboard used for data reading and writing; a switching unit that switches the active runtime environment; a decision unit that, when the active runtime environment is switched by the switching unit, decides whether an item of data written to a clipboard of a runtime environment that is active before the switching should be copied to a clipboard of a runtime environment that will become active after the switching, by referring to an attribute of at least one of the runtime environment that is active before the switching and the runtime environment that will become active after the switching; and a management unit that manages copying of the item of data between the clipboards based on the decision made by the decision unit.
    • 数据控制装置包括:执行单元,其执行作为活动运行时环境的多个运行时环境中的每一个具有用于数据读取和写入的单个剪贴板; 切换单元,其切换活动运行时环境; 决定单元,当所述交换单元切换所述活动运行时环境时,决定写入到所述切换之前活动的运行时环境的剪贴板的数据项是否应被复制到运行时环境的剪贴板中,所述运行时环境将成为 在切换之后,通过参考切换之前活动的运行时环境中的至少一个和切换后将变为活动的运行时环境的属性来激活; 以及管理单元,其基于由所述决定单元做出的决定来管理所述剪贴板之间的所述数据项的复制。
    • 6. 发明申请
    • SYSTEM AND METHODS FOR OPTIMIZING USER INTERACTION IN WEB-RELATED ACTIVITIES
    • 在网络相关活动中优化用户互动的系统和方法
    • US20100198768A1
    • 2010-08-05
    • US12692442
    • 2010-01-22
    • Dong ZhouAjay ChanderHiroshi Inamura
    • Dong ZhouAjay ChanderHiroshi Inamura
    • G06F3/048G06N5/02
    • G06F9/453
    • A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur.
    • 本文公开了一种用于促进网络相关活动中的用户交互的方法和装置。 在一个实施例中,该方法包括监视用户当前与浏览器的交互,基于与用户的当前交互相关联的当前交互上下文来预测用户可能采取的任务,以及基于先前一个或多个先前生成的一个或多个规则 记录的浏览器交互,以及基于预测生成并且显示与浏览器的用户界面组件,所述用户界面组件可由用户选择并且表示用户可以选择发生的交互(或交互序列)。
    • 9. 发明申请
    • METHOD AND SYSTEM FOR WIRELESS DESIGN SUBJECT TO INTERFERENCE CONSTRAINTS
    • 用于干扰约束的无线设计的方法和系统
    • US20080188253A1
    • 2008-08-07
    • US12019562
    • 2008-01-24
    • Chia-Chin ChongPedro C. PintoMoe Z. WinFujio WatanabeHiroshi Inamura
    • Chia-Chin ChongPedro C. PintoMoe Z. WinFujio WatanabeHiroshi Inamura
    • H04B15/00H04B7/00
    • H04W16/22
    • A wireless communication system experience interference from other wireless communication networks. A method for designing wireless communication systems subject to interference is proposed based on a realistic interference model which accounts for the propagation effects introduced by the wireless environment (such as path loss, shadowing, and multipath fading), and for the spatial scattering of transmitters (using a Poisson field). The method accounts for tradeoffs between network parameters, such as signal-to-noise ratio (SNR), interference-to-noise ratio (INR), path loss exponent, spatial density of the interferers, and error probability. Advantages of this method include: 1) a unified framework for designing a wireless system, subject to cumulative interference and noise, incorporating a wide range of performance metrics; and 2) a general application that covers a broad class of wireless communication systems and channel fading distributions.
    • 无线通信系统经受来自其他无线通信网络的干扰。 提出了一种用于设计受干扰的无线通信系统的方法,该实际干扰模型考虑了由无线环境引入的传播效应(如路径损耗,阴影和多径衰落)以及发射机的空间散射( 使用泊松场)。 该方法考虑了网络参数之间的折衷,如信噪比(SNR),干扰信噪比(INR),路径损耗指数,干扰源的空间密度和误差概率。 该方法的优点包括:1)设计无线系统的统一框架,受到累积干扰和噪声的影响,并结合广泛的性能指标; 和2)涵盖广泛类别的无线通信系统和信道衰落分布的通用应用。