Fujitsu Corporation

Matthieu Parizy

Tatsuya Yamamoto

Hiroaki Iwashita

An apparatus stores status information and workload information for each task executed by a user. The apparatus detects, based on the status information, completion of a first task, and withholds notification of first help information related to software selected based on a usage state of the software in the first task. The apparatus detects, based on the status information, completion of a second task after completion of the first task, and calculates, based on the workload information, an index value indicating a total workload of completed tasks including the first and second tasks. When the index value is greater than a threshold, the apparatus allows providing the user with notification of the first help information and second help information related to the software selected based on a usage state of the software in the second task; otherwise the apparatus withholds notification of the first and second help information.

Apparatus and method to provide help information to a user in a timely manner

An apparatus sets, for a user, a time-width indicating a period of time which precedes a current time and for which a usage history of the user is to be acquired, and extracts an interesting matter of the user from the usage history acquired within the set time-width. The apparatus provides help information obtained based on the extracted interesting matter to the user to acquire a result of an operation that is performed by the user in response to provision of the help information, where the time-width for the user is set based on the acquired result of the operation by the user.

Effective extraction of information on time-varying user interest

A non-transitory computer-readable recording medium has stored therein a program that causes a computer to execute a process, the process including: generating, based on search history information indicating history of search in a component search device with respect to feature values of a component, appearance frequency information indicating frequencies at which the feature values appear in the search history information; generating, based on the appearance frequency information, weighting information in which weights are associated with the feature values; executing learning on accumulated failure record information to build a failure estimation model for estimating a failure rate of the component; and estimating the failure rate of the component by using the built failure estimation model.

Method for estimating failure rate and information processing device

A non-transitory computer-readable recording medium stores therein a monitoring program that causes a computer monitoring data transmission from a transmission source device to a transmission destination device to execute a process that includes detecting data transmitted in a sequence that differs from a specified sequence; determining whether the sequence that differs is permissible by a specified constraint, if data transmitted at the sequence that differs is detected at the detecting; and outputting a determination result obtained at the determining.

Monitoring apparatus, method, and computer product

A computer-readable medium stores therein a correcting program that causes a computer to execute a process. The process includes decomposing a correction subject assertion, based on a logical structure of the correction subject assertion; detecting by simulation of a circuit-under-test and from among properties obtained by decomposing the correction subject assertion, a property that has failed; concatenating to the detected property and by logical OR, a failure source; and outputting the concatenated property.

Computer product, apparatus, and method for correcting assertion

A computer-readable, non-transitory medium storing therein a verification support program that causes a computer to execute a process that includes detecting a point in time when data of any one transaction among a series of transactions that are to be transmitted in a prescribed sequence from a device under verification, is skipped; detecting a point in time when the data is first transmitted after the detected point in time when the data is skipped; computing time elapsing from the detected point in time when the data is skipped until the detected point in time when the data is transmitted; and outputting a computation result obtained at the computing.

Growing community of inventors

Meguro, Japan

Matthieu Parizy