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

DEVICE, SYSTEM, METHOD, PROGRAM, PRINTED MATTER AND RECORDING MEDIUM RELATING TO PRINTED MATTER VERIFICATION INFORMATION ADDITION AND PRINTED MATTER VERIFICATION例文帳に追加

印刷物検証情報付加及び印刷物検証に関連する装置、システム、方法、プログラム、印刷物及び記録媒体 - 特許庁

LOGIC VERIFICATION SYSTEM AND METHOD, LOGIC CONE EXTRACTION DEVICE AND METHOD, AND LOGIC VERIFICATION AND LOGIC CONE EXTRACTION PROGRAM例文帳に追加

論理検証システム及び方法、論理コーン抽出装置及び方法、論理検証及び論理コーン抽出プログラム - 特許庁

To execute co-verification by using software to be used as a device driver or a check program for the logical verification of a system LSI.例文帳に追加

デバイスドライバやチェックプロとして使用するソフトウエアを、システムＬＳＩの論理検証に使用してコ・ベリフィケーションを行う。 - 特許庁

VERIFICATION SYSTEM, METHOD THEREFOR, DATA PROCESSING TERMINAL USING THE SAME, AND PROGRAM例文帳に追加

照合システム及びその方法並びにそれを用いたデータ処理端末及びプログラム - 特許庁

KEY MANAGEMENT SERVER IN ENCRYPTION SYSTEM, PROGRAM FOR CONTROLLING DECRYPTION APPARATUS, KEY MANAGEMENT SERVER IN SIGNATURE/VERIFICATION SYSTEM AND PROGRAM FOR CONTROLLING VERIFICATION APPARATUS例文帳に追加

暗号システムにおける鍵管理サーバおよび復号装置を制御するプログラム，ならびに署名／検証システムにおける鍵管理サーバおよび検証装置を制御するプログラム - 特許庁

SECRET CALCULATION SYSTEM, SECRET CALCULATION METHOD, SECRET CALCULATION DEVICE, VERIFICATION DEVICE, AND PROGRAM例文帳に追加

秘密計算システム、秘密計算方法、秘密計算装置、検証装置、およびプログラム - 特許庁

To achieve the application of a correction program to a system and the operation verification of the system without stopping a task.例文帳に追加

業務の停止を行うことなく、システムへの修正プログラムの適用と動作検証を実現する。 - 特許庁

KEY MANAGEMENT SYSTEM USING SECRECY DISPERSION METHOD, VERIFICATION CENTER, COMMUNICATION TERMINAL, PROGRAM FOR VERIFICATION CENTER, PROGRAM FOR COMMUNICATION TERMINAL, AND KEY MANAGEMENT METHOD USING SECRECY DISPERSION METHOD例文帳に追加

秘密分散法による鍵管理システム、検証センタ、通信端末、検証センタ用プログラム、通信端末用プログラム、並びに秘密分散法による鍵管理方法 - 特許庁

FILE STORAGE SYSTEM, SERVER DEVICE AND PROGRAM, VERIFICATION INFORMATION STORAGE DEVICE AND PROGRAM, AND FILE STORAGE DEVICE AND PROGRAM例文帳に追加

ファイル格納システム、サーバ装置及びプログラム、並びに検証情報格納装置及びプログラム、並びにファイル格納装置及びプログラム - 特許庁

IMAGE VERIFICATION SYSTEM, IMAGE VERIFYING DEVICE, IMAGE VERIFYING METHOD, PROGRAM AND RECORDING MEDIUM例文帳に追加

画像検証システム、画像検証装置、画像検証方法、プログラムおよび記録媒体 - 特許庁

TELEPHONE, CONTROL METHOD THEREOF, PROGRAM, AND PRESENT/ABSENT VERIFICATION SYSTEM例文帳に追加

電話機、電話機の制御方法及びプログラム並びにこれらを使用した在／不在確認システム - 特許庁

METHOD, SYSTEM, AND COMPUTER PROGRAM PRODUCT FOR GENERATING AUTOMATED ASSUMPTION FOR COMPOSITIONAL VERIFICATION例文帳に追加

合成検証のための自動仮定を生成する方法、システム、及びコンピュータプログラム製品 - 特許庁

CELLULAR PHONE TERMINAL APPARATUS, DISPATCHER NAME VERIFICATION PROGRAM, AND TELEPHONE NUMBER-SEARCHING SYSTEM例文帳に追加

携帯電話端末装置、発信者名称確認プログラム、および電話番号検索システム - 特許庁

RECOVERY SIGNATURE SYSTEM, SIGNATURE CREATING DEVICE, SIGNATURE VERIFICATION DEVICE, METHOD FOR THEM AND PROGRAM例文帳に追加

リカバリ署名システム、署名生成装置、署名検証装置、それらの方法、及びプログラム - 特許庁

PRESENTATION SYSTEM AND METHOD FOR CHANGE MACHINE AND RECORDING MEDIUM WITH VERIFICATION PROGRAM RECORDED THEREON例文帳に追加

釣銭機プレゼンテーションシステム、プレゼンテーション方法、および検証プログラムを記録した記録媒体 - 特許庁

VERIFICATION SYSTEM, PROCESSING EXECUTION DEVICE, METHOD AND PROGRAM FOR CONVERTING CONTROL COMMAND例文帳に追加

検証システム、処理実行装置、制御コマンド変換方法および制御コマンド変換プログラム - 特許庁

To provide a program verification support system for verifying whether an application program has correctly operated or not.例文帳に追加

アプリケーションプログラムが正しく動作したか否かを検証するためのプログラム検証支援システムを提供する。 - 特許庁

RESPONSE VERIFICATION SYSTEM, RESPONSE TIME VERIFICATION DEVICE, INFORMATION PROCESSOR WITH RESPONSE MEASURING FUNCTION, RESPONSE TIME COLLECTING PROGRAM, AND AREA-BASED RESPONSE VERIFICATION METHOD例文帳に追加

レスポンス検証システム及びレスポンス時間検証装置及びレスポンス測定機能を備える情報処理装置及びレスポンス時間収集プログラム及び地域別レスポンス検証方法 - 特許庁

To provide an "application verification system and computer program" for simplifying an application verification operation on a plurality of operating systems.例文帳に追加

複数のオペレーティングシステム上でのアプリケーション検証作業を容易化する「アプリケーション検証システム及びコンピュータプログラム」を提供する。 - 特許庁

LOGIC EQUIVALENCE VERIFICATION SYSTEM, LOGIC EQUIVALENCE VERIFICATION METHOD, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, CONTROL PROGRAM AND READABLE STORAGE MEDIUM例文帳に追加

論理等価性検証システム、論理等価性検証方法、半導体集積回路の製造方法、制御プログラムおよび可読記憶媒体 - 特許庁

A verification system of software, having a correspondence of data to a verification program for skipping recognition processing of hardware for each verification item as a database and executing the verification program on a necessary hardware configuration by using the information of the database, is provided.例文帳に追加

検証項目毎にハードウェアの認識処理をスキップさせるためのデータと検証プログラムの対応をデータベースとして持ち、それらの情報を用いて、検証プログラムを必要なハードウェア構成で実行するソフトウェアの検証方式を提供する。 - 特許庁

PROGRAM, SYSTEM AND METHOD FOR TIME STAMP VERIFICATION, AND TIME STAMP GENERATION REQUEST METHOD例文帳に追加

タイムスタンプ検証プログラム、タイムスタンプ検証システム、タイムスタンプ検証方法、タイムスタンプ生成依頼方法 - 特許庁

SYSTEM, METHOD AND PROGRAM FOR INPUT INFORMATION VERIFICATION例文帳に追加

入力情報検証システム、入力情報検証方法及び入力情報検証用プログラム - 特許庁

CONNECTION SYSTEM FOR CONFIGURATION VERIFYING EQUIPMENT, VERIFICATION TERMINAL, CONNECTION METHOD FOR CONFIGURATION VERIFYING EQUIPMENT, AND PROGRAM例文帳に追加

構成証明機器接続システム、検証端末、構成証明機器接続方法、及びプログラム - 特許庁

To provide an electronic signature verification system in which the configuration of an application program is simplified.例文帳に追加

アプリケーションプログラムの構造を簡易化することができる電子署名検証システムを提供する。 - 特許庁

DATA VERIFICATION SYSTEM, ITS METHOD, IDENTIFIER CREATOR, DATA VERIFIER, PROGRAM THEREOF AND RECORD MEDIUM例文帳に追加

データ検証システム、その方法、識別子生成装置、データ検証装置、それらプログラム及び記録媒体 - 特許庁

CONSISTENCY VERIFICATION METHOD OF OBJECT INTERNAL STATE, INFORMATION PROCESSING SYSTEM, PROGRAM AND RECORDING MEDIUM例文帳に追加

オブジェクト内部状態の一貫性確認方法、情報処理システム、プログラム、および記録媒体 - 特許庁

INFORMATION PROCESSOR, WORK FLOW SYSTEM, VERIFICATION CONTROL METHOD FOR INFORMATION PROCESSOR, PROGRAM, AND RECORDING MEDIUM例文帳に追加

情報処理装置、ワークフローシステム、情報処理装置の検証制御方法、プログラム、及び、記録媒体。 - 特許庁

INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSOR, FUNCTIONAL VERIFICATION SUPPORT METHOD OF NEW COMPUTER AND COMPUTER PROGRAM例文帳に追加

情報処理システム、情報処理装置、新計算機の機能検証支援方法、及びコンピュータプログラム - 特許庁

IDENTIFICATION CODE GENERATION/VERIFICATION DEVICE, PROGRAM AND METHOD, CARD HAVING IDENTIFICATION CODE, AND PERSONAL AUTHENTICATION SYSTEM例文帳に追加

識別コード生成・検証装置、プログラム、方法、識別コードを有するカード及び個人認証システム - 特許庁

SYSTEM AND METHOD FOR DIGITAL SIGNATURE VERIFICATION USING BIOMETRICS INFORMATION, AND PROGRAM FOR THEM例文帳に追加

バイオメトリクス情報を用いたデジタル署名・検証システムおよび方法ならびにそのためのプログラム - 特許庁

To provide a data broadcasting program verification system enabling a verification on a page picture changed by a lapse of the broadcasting time of a data broadcasting program.例文帳に追加

本発明は、データ放送番組の放送時間の経過により変更されるページ画面の検証が可能なデータ放送番組検証システムの提供を目的とする。 - 特許庁

To provide a logic verification system, a logic verification method, and a logic verification program, each contributes to reduction of man-hour for logic design with respect to logic verification and error position correction of a designed logic circuit.例文帳に追加

設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供する。 - 特許庁

The read-only memory of an IC card 1 stores a secret key for enciphering, an enciphering system identification flag, a verification identification flag, and a verification program.例文帳に追加

ＩＣカード１の読出し専用メモリは、暗号化のための秘密鍵、暗号方式識別フラグ、検証識別フラグ、検証プログラムを記憶する。 - 特許庁

To provide a substrate processing system, a substrate processing method, a verification program and a recording medium on which verification program is recorded by which percentage of completion of a processing recipe execution program is promptly improved.例文帳に追加

処理レシピ実行プログラムの完成度を速やかに向上させることのできる基板処理システム、基板処理方法、検証プログラム、及び検証プログラムを記録した記録媒体を提供する。 - 特許庁

VERIFICATION DATA EMBEDDING METHOD, PROGRAM AND APPARATUS, IMAGE TAMPERING DETECTING METHOD, PROGRAM, APPARATUS, AND IMAGE TAMPERING DETECTION SYSTEM例文帳に追加

検証データ埋め込み方法、プログラムおよび装置、画像改竄検出方法、プログラムおよび装置ならびに画像改竄検出システム - 特許庁

To provide a program remote updating system for performing the operation verification of a new program just after performing program update processing for securing the reliability of the system, and for improving the flexibility of the verification processing.例文帳に追加

プログラム更新処理を実行した直後に新プログラムの動作検証を行うプログラム遠隔更新システムを提供することにより、システムの信頼性を確保すると共に、検証処理の柔軟性を向上することを目的とする。 - 特許庁

(i) Does the institution clearly separate responsibilities for system data reception, operation,operation results verification, and data and program storage? 例文帳に追加

（ⅰ）データ受付、オペレーション、作業結果確認、データやプログラムの保管の職務分担は明確になっているか。 - 金融庁

SIGNATURE PROCESSING SYSTEM, KEY GENERATING DEVICE, SIGNATURE DEVICE, VERIFICATION DEVICE, SIGNATURE PROCESSING METHOD AND SIGNATURE PROCESSING PROGRAM例文帳に追加

署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム - 特許庁

SYSTEM AND METHOD FOR SUPPORTING VERIFICATION OF CIRCUIT FUNCTION, CONTROL PROGRAM AND READABLE RECORDING MEDIUM例文帳に追加

回路機能検証支援システム、回路機能検証支援方法、制御プログラムおよび可読記録媒体 - 特許庁

CONTROLLER PART OPERATION VERIFICATION SYSTEM, IMAGE PROCESSOR, CONTROLLER PART OPERATION VERIFICATION DEVICE, IMAGE DATA OUTPUT CONTROL METHOD, IMAGE DATA RESTORATION METHOD, STORAGE MEDIUM, AND PROGRAM例文帳に追加

コントローラ部動作検証システム、画像処理装置、コントローラ部動作検証装置、画像データ出力制御方法、画像データ復元方法、記憶媒体、及びプログラム - 特許庁

By a data conversion and verification program 130, a data verification using the definition information 172 internally possessed by a target accounting system 170 that is the data writing designation is performed.例文帳に追加

データ変換・検証プログラム１３０で、データ書き込み先のターゲット会計システム１７０が内部に持つ定義情報１７２を用いたデータ検証を行う。 - 特許庁

To provide a vehicle travelling verification system, a vehicle travelling verification technique, and a program capable of detecting the fake itself of GPS satellite observation data.例文帳に追加

ＧＰＳ衛星観測データの捏造自体を検出できる車両走行検証システム、車両走行検証方法及びプログラムを提供する。 - 特許庁

To provide a development automation system of software development environments, which can shorten the time for processor verification by improving program readability, thereby facilitating the algorithm verification of a program.例文帳に追加

プログラムの可読性が向上し、それにより、プログラムのアルゴリズム検証を容易とし、プロセッサ検証のための時間を短縮できるソフトウェア開発環境開発自動化システムを提供する。 - 特許庁

To provide a device and a system suitable for operation verification and provision of a program developed for an in-vehicle information system.例文帳に追加

車載情報システム用に開発されたプログラムの動作検証および提供に好適な装置およびシステムを提供する。 - 特許庁