「program verification system」に関連した英語例文の一覧と使い方(6ページ目) - Weblio英語例文検索

To provide a terminal device capable of collecting data for isolating a failure part from a terminal side at a failure after verification, and a system, method and program for isolating a network failure cause.例文帳に追加

認証後の障害時に端末側から障害箇所の切り分けのためのデータを集めることのできる端末装置、ネットワーク障害原因切り分けシステム、方法およびプログラムを得ること。 - 特許庁

Each program requests (311) execution authorization to a system agent of a licensing management system, which grants (318 to 324) the authorization according to the verification of a local license certificate for the program stored on a client workstation before the completion of a bootstrap.例文帳に追加

各プログラムは、ライセンス交付管理システムのシステム・エージェントに対して実行許可を要求し（３１１）、システム・エージェントは、ブートストラップの完了前に、クライアント・ワークステーション上に格納されたプログラムについてのローカル・ライセンス証明書の検証に従って、許可を授与する（３１８〜３２４）。 - 特許庁

Thus, it is possible to newly prepare control program preparation software capable of outputting a control program without interrupting the communication relay, or to repeat the update and verification of the control program without switching the connection while it is not necessary to add any switcher to a control system 1.例文帳に追加

これにより、通信中継を阻害せずに制御プログラムを出力可能な制御プログラム作成ソフトを新たに作成したり、切り換え器を制御システム１に追加する必要がないにも拘らず、接続を切り換えずに、制御プログラムの更新と検証とを繰り返すことができる。 - 特許庁

To provide a mutual authentication method, a mutual authentication program and a mutual authentication system by which both parties going to make communication with each other transmit a verification key to an authentication server and authenticate with each other by comparing the verification key with a certificate key thereby conducting the mutual authentication with a simple procedure.例文帳に追加

検証用の鍵を相互に認証用サーバへ送信し、この検証用の鍵と証明用の鍵との比較によって認証を行うことにより、簡易な手続きで相互に相手認証することが可能な相互認証方法、相互認証プログラム及び相互認証システムを提供する。 - 特許庁

An identifier such as an event ID, which is assigned to a broadcast program is recorded in storage means 372 of a verification management system 30 in advance, and an identifier included in verification information received from a digital broadcasting receiver 20 and the identifier recorded in the storage means 372 are compared, whereby whether the viewer watched the program is authenticated.例文帳に追加

放送された番組に付与されたイベントＩＤ等の識別子を照合管理システム３０の記憶手段３７２に記録しておき、デジタル放送受信機２０から受信した照合情報に含まれる識別子と、記憶手段３７２に記憶される識別子とを比較して、視聴者が番組を視聴したか否かを認証する。 - 特許庁

A display verification program determines data and hour of the system, and reads first information corresponding to a message that is supposed to be dislayed on an EPL during the present time from a message control file.例文帳に追加

表示認証プログラムは、システムの日時を決定し、そして、現行時間中にＥＰＬ上に表示されるように仮定されるメッセージに対応した第１情報をメッセージ管理ファイルから読取る。 - 特許庁

To provide a novel search query creation supporting apparatus capable of simplifying creation, correction and verification of a search query having a complicated logical structure, and a graphical user interface (GUI) production system, method and program.例文帳に追加

複雑な論理構造をもった検索クエリーの作成・修正・検証を簡便化することのできる新規な検索クエリー作成支援装置、グラフィカルユーザインターフェース、方法及びプログラムを提供する。 - 特許庁

To provide a tolerance analysis computing system, analysis method and program capable of performing a tolerance design in a design department, previous verification of tolerance accumulation and optimal tolerance distribution.例文帳に追加

本発明は、設計部門における公差設計、公差積み上げの事前検証、最適公差配分を可能とした公差解析計算システム、解析方法及びプログラムを提供することを課題とする。 - 特許庁

To provide a system, a method, and a computer program for performing verification by reading information out of the data track and servo track of a cleaner tape by a tape drive when an input/output converter of the tape drive is cleaned.例文帳に追加

テープ・ドライブの入出力変換器のクリーニングに、テープ・ドライブがクリーナ・テープのデータ・トラック及びサーボ・トラックから情報を読み取ることにより検証するシステム、方法、及びコンピュータ・プログラムを提供する。 - 特許庁

To provide a log extraction system and program capable of reducing unnecessary portions by extracting portions effective for automatic analysis or visible verification from a log recording behaviors of an application therein.例文帳に追加

アプリケーションの挙動を記録したログから自動解析や目視による検証に有効な部分を抽出し、不要な部分を削減することができるログ抽出システムおよびプログラムを提供する。 - 特許庁

A program has a means for randomly executing a test execution process and a means for managing the control and termination of the process, and has a mechanism for automatically conducting these means, in the system verification of the logical circuit.例文帳に追加

論理回路のシステム検証において、テスト実行プロセスをランダム実行させる手段と、プロセスの実行、終了を管理する手段とを有し、それらの手段を自動的に行う仕組みを有するプログラム。 - 特許庁

To provide an information processing system, an information processor and an information processing method for timely informing the verification of the data for service, and a storage medium with a program to execute them read by the information processor, and program for the same.例文帳に追加

サービス対象のデータの検証処理をユーザに適時に通知する情報処理システム及び情報処理装置及び情報処理方法及びそれを実施するプログラムを情報処理装置読み出し可能に記憶した記憶媒体及びそのプログラムを提供する。 - 特許庁

To provide a bi-directional network intrusion detection system and a bi-directional intrusion detection program capable of increasing detecting precision by comparing intrusion detection information with a response to intrusion for automatic verification.例文帳に追加

侵入検知情報と侵入に対する応答を比較して自動的に検証し、検知精度を高めることができる双方向型ネットワーク侵入検知システムおよび双方向型侵入検知プログラムを提供する。 - 特許庁

To provide an electronic contents originality verification evidence forming system improved in evidence ability maintaining property and which can prevent dishonest use of a time stamp and which has excellent dishonest use preventing evidence forming program and confidentiality.例文帳に追加

証拠能力の持続性の向上、タイムスタンプの不正使用防止、証拠作成時における不正防止証拠作成プロセスと機密性に優れた電子コンテンツ原本性検証証拠作成システムを提供する。 - 特許庁

To provide a multiple signature system in which the signature size is limited to a constant value even if the number of persons signing increases, and order-attached electronic signature can be performed efficiently by arithmetic processing, and to provide a verification system, a multiple signature method and a multiple signature program.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができる多重署名システム、検証システム、多重署名方法及び多重署名プログラムを提供すること。 - 特許庁

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that can control a sign size to a constant value and achieve sequenced electronic signature through efficient arithmetic processing even when persons who sign increase in number.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム及び検証システム及びアグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that suppress a signature size to a constant value even when persons who sign increase in number, and achieve a sequenced electronic signature through efficient arithmetic processing.例文帳に追加

署名する人数が増えても署名サイズを一定値に抑制し、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム、検証システム、アグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

To provide a network monitoring system, a program, a storage medium, a USB memory, a chip and a router, enabling the efficient and sure grasping and verification of degrees of attacks to a plurality of computers connected to a network or the cause thereof.例文帳に追加

ネットワークに接続された複数のコンピュータに対するアタックの程度や原因を効率よく確実に把握して立証することができる、ネットワーク監視システム、プログラム、記録媒体、ＵＳＢメモリ、チップ、及び、ルータを提供する。 - 特許庁

This logic circuit education system consists of a program type logic forming means 31 and a logic observation control means 32 in the logic circuit education system which has the movement of the logic circuit recognized by executing the verification of the operation of the logic circuit by carrying to the designing of the logic circuit.例文帳に追加

論理回路教育システムは、論理回路の設計を行い当該論理回路の動作の検証を行うことによって論理回路の働きを把握させる論理回路教育システムにおいて、プログラム式論理形成手段３１と、論理観測制御手段３２からなる。 - 特許庁

A conversion verification device 117 inserts a code for extracting an SQL sentence into a program to be processed by an Access database system 111, automatically extracts the SQL sentence in an execution, and converts it into an SQL sentence to be processed by an SQL-SERVER database system 113.例文帳に追加

変換検証装置１１７では、Ａｃｃｅｓｓデータベースシステム１１１で処理するプログラムに、ＳＱＬ文を抽出するコードを挿入し、実行時にＳＱＬ文を自動的に抽出し、ＳＱＬ−ＳＥＲＶＥＲデータベースシステム１１３で処理されるＳＱＬ文に変換する。 - 特許庁

In this program verification system for verifying operation of a program by means of an ICE 400 and a virtual EEPROM 80, input/output data of the ICE 400 to/from the virtual EEPEOM 80 are acquired in a data R/W part 300, and the acquired data are visualized according to a display format of a monitor 304.例文帳に追加

ＩＣＥ４００と仮想ＥＥＰＲＯＭ８０とを用いてプログラムの動作検証を行うプログラム検証システムであって、仮想ＥＥＰＲＯＭ８０に対するＩＣＥ４００の入出力データをデータＲ／Ｗ部３００で取得し、取得したデータをモニタ３０４の表示形式に合わせて可視化する。 - 特許庁

Information on operation done on the data base system 170 is acquired by a data base operation information acquiring means 120 and inputted to the data base system 170 by a dummy application program 160 running on a server; and then the data base system 170 executes it again and both the execution results are compared for verification.例文帳に追加

データベース・システム１７０に対して行われた操作情報を、データベース操作情報取得手段１２０により取得し、取得したデータベース操作情報を、サーバ上で動作する疑似アプリケーション・プログラム１６０によりデータベース・システム１７０に入力することによって、再度データベース・システム１７０に実行させ、両実行結果を比較・検証する。 - 特許庁

In this system verification device 100, a microcomputer 110 for switch control for setting a switch circuit 111 by program execution is mounted on a target board 101, and switch control on the target board 101 is controlled by software from a terminal 104 at a remote place.例文帳に追加

システム検証装置１００は、ターゲットボード１０１に、スイッチ回路１１１の設定をプログラム実行により行うスイッチ制御用マイクロコンピュータ１１０を実装し、ターゲットボード１０１上のスイッチ制御を遠隔地の端末１０４からソフトウェアによって制御する。 - 特許庁

To provide a verification method and system capable of increasing the accuracy of a simulation device, by making it easy to achieve time synchronization between a simulative component part achieved by a program on a computer and another simulative component part achieved by a reconfigurable device.例文帳に追加

計算機上のプログラムで実現される模擬的構成部分と再構成可能なデバイスにより実現される模擬的構成部分との間で時間的同期が取りやすく、模擬装置の精度を高めることができる検証方法及びシステムを提供する。 - 特許庁

To provide an authentication card, an authentication system, a guidance method and a program which can guide a person to be authenticated so as to allow imaging of an image capable of at least extracting the feature amount of a face of the person to be authenticated, which is required for verification of authentication.例文帳に追加

認証の照合に必要な認証対象者の顔の特徴量を少なくとも抽出することができる画像を撮像できるように、認証対象者を誘導する認証カード、認証システム、ガイダンス方法及びプログラムを提供すること。 - 特許庁

To provide an emulator description automatic generation system and an emulator description automatic generation program capable of automatically adding power supply parts necessary for interface matching and emulator verification in programmable parts on a circuit diagram before preparing an emulation description.例文帳に追加

エミュレータ記述を作成するに先だって、回路図上で、プログラマブル部品におけるインタフェース整合およびエミュレータ検証に必要な電源部品を自動的に追加することができるエミュレータ記述自動生成システムおよびエミュレータ記述自動生成プログラムを提供する。 - 特許庁

To provide a terminal device in which a verification program of an electronic certificate is not necessary to be previously installed in an electronic certificate issue system including a server device for issuing a unique electronic certificate and the terminal device for using the issued electronic certificate.例文帳に追加

独自の電子証明書を発行するサーバ装置と発行された電子証明書を利用する端末装置とから成る電子証明書発行システムにおいて、予め電子証明書の検証プログラムが組み込まれている必要のない端末装置を提供する。 - 特許庁

Thus, the prepared directory structure is used in a program so that it is possible to operate information processing for registering a work operated in each working process in a process management system, or for collecting or working data by using the process management system, and that it is possible to operate necessary slip outputs or prepared data verification or the like.例文帳に追加

作成されたディレクトリ構造をプログラム中で利用することにより、各加工工程で行った作業を工程管理システムに登録したり、あるいは、工程管理システムを使用してデータを収集したり加工するといった情報処理を行い、必要な帳票出力や、または作成データの検証等を行うことができる。 - 特許庁

DATA STORAGE METHOD, DATA STORAGE SYSTEM AND PROGRAM (VERIFICATION OF DATA INTEGRITY IN STORAGE SYSTEM)例文帳に追加

データ格納方法、データ・ストレージ・システムおよびプログラム（ストレージ・システムにおけるデータ完全性の検証）（著作権および商標登録表示本特許文書の開示の一部は、著作権保護を受ける内容を含む。本所有権者は、特許文書または特許開示書のいずれか一つによるファクシミリ複写物には、複写物が特許商標庁の特許ファイルまたは記録として世に出現している限り異論はないが、他の場合に全ての著作権は完全に留保する。）（本明細書で参照するある種のマークについては、出願人またはその譲受人と提携しまたは提携しない第三者の、慣習法上の、または登録された商標である可能性がある。これらのマークを使用するのは、例示によって実施可能な開示を提供するためであり、そのようなマークに関連するもののみに本発明の範囲を制限するように解釈されるべきではない。） - 特許庁