resource verificationとは 意味・読み方・使い方

To provide a software verification method capable of verifying software without changing a parameter value related to resource size when operation verification is performed by another machine in a parameter group for determining the operation of a program.例文帳に追加

プログラムの動作を決定するパラメタ群において、他マシンで動作検証を行う場合、資源のサイズに関するパラメタ値を変更することなく、ソフトウェアの検証を行うことができるソフトウェア検証方法を提供する。 - 特許庁

When the request is received, the system can decide whether to approve access to the resource, using the validity verification information and authentication information.例文帳に追加

要求が受け取られると、妥当性検証情報および認証情報を使用して、リソースへのアクセスを認可するべきか否かを判定することができる。 - 特許庁

Based on decision results thereof, the verification support device determines necessity/unnecessity of the warning related to the interrupt of the resource Ri, and outputs a warning message showing that the interrupt of the resource Ri is not executed when it is determined that the warning is necessary.例文帳に追加

そして、その判定結果に基づいて、リソースＲｉの割り込みに関する警告の要否を決定し、警告が必要であると決定された場合に、リソースＲｉの割り込みが未実行であることを示す警告メッセージを出力する。 - 特許庁

This summary version has been prepared in order to summarize the achievement of the verification process by the Committee, and to provide an accessible resource to many people who will take over this task in the future.例文帳に追加

本要約版は、検証会議による検証の到達点を要約として示し、今後の作業を引き継いでくださる多くの人々に、簡便な資料を提供するために作成した。 - 厚生労働省

To aim to build a logic verification environment in which execution of a complex request to a competitive resource can be arbitrarily and reliably generated so as to verify operations of an arbitration device for arbitrating requests in a system in which multiple processors independently perform access to the competitive resource.例文帳に追加

複数のプロセッサが、競合リソースへ独立してアクセスを行うシステムにおいて、リクエストを調停する調停装置の動作を検証するために、競合リソースへの複雑な要求の実行を、任意にかつ確実に発生可能とする論理検証環境を構築することを目的とする。 - 特許庁

A computer security system comprises a security module adapted to control access to a secure computer resource by a user via a client based on verification of a security credential provided by the user.例文帳に追加

本発明にかかるコンピュータセキュリティシステムは、ユーザにより提供されるセキュリティクレデンシャルの検証に基づいて、クライアントを介してのユーザによるセキュアコンピュータ資源へのアクセスを制御するようになっているセキュリティモジュールを備える。 - 特許庁

To provide a physical link verification control system that executes a link verification procedure from one of two systems consisting of an access network containing subscribers provided with the V5.2 interface and of an exchange to the other and efficiently controls confirmation of the normality of a physical connection state of an E1 link so as to disconnect an abnormal resource.例文帳に追加

本発明はＶ５．２インタフェースを備えた加入者を収容したアクセスネットワークと交換機の２つのシステムの一方から他方へのリンク検証手順の実行による物理リンク検証制御方式に関し，Ｅ１リンクの物理的接続状態の正常性を確認する制御を効率的に行い異常なリソースの切離しを可能にすることを目的とする。 - 特許庁

Based on the breakdown of the trade balance (year-on-year changes) into an export value factor and an import value factor, for the purpose of verification of the details of trends in international trade, the major factor forcing down the balance was a large increase in the value of imports since October 2007, as triggered by soaring resource and food prices (Figure 2-1-2-6).例文帳に追加

貿易動向の詳細を確認するため、貿易収支前年差を輸出金額要因と輸入金額要因に分解すると、2007年10月以降、資源・食料価格の高騰を受けて輸入金額が大きく増加して貿易収支悪化の主因となっていた（第2-1-2-6図）。 - 経済産業省