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

SOFTWARE UPDATE VERIFICATION SYSTEM, PROGRAM FOR CREATING REPRODUCED STATE INFORMATION, PROGRAM FOR VERIFYING UPDATE, DEVICE FOR CREATING REPRODUCED STATE INFORMATION, AND DEVICE TO BE UPDATED例文帳に追加

ソフトウエア更新検証システム、再現状態情報作成プログラム、更新検証プログラム、再現状態情報作成器及び更新対象器 - 特許庁

A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors.例文帳に追加

プログラム検証のシステムおよび方法は、潜在的誤りに対する警告を捕える並行プログラムの製品トランザクショングラフを生成すること含む。 - 特許庁

To provide a signature data verification support system and program, capable of easily executing signature verification of a certificate issued from a different authentication bureau with no trust chain.例文帳に追加

信頼連鎖のない異なる認証局から発行された証明書の署名検証をも容易に行うことができる署名データ検証支援システムおよびプログラムを得る。 - 特許庁

To provide a verification device of a program, wherein influence of presence/absence of a verification code on temporal behavior of a code amount or a control system is reduced.例文帳に追加

検証コードの有無がコード量や制御系システムの時間的なふるまいに与える影響を小さくすることができるプログラムの検証装置を提供すること。 - 特許庁

HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION APPARATUS, HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION METHOD, COMPUTER SYSTEM, HARDWARE SIMULATION METHOD, CONTROL PROGRAM, AND READABLE STORAGE MEDIUM例文帳に追加

ハードウェア検証用プログラミング言語モデル生成装置、ハードウェア検証用プログラミング言語モデル生成方法、コンピュータシステム、ハードウェアシミュレーション方法、制御プログラムおよび可読記憶媒体 - 特許庁

To provide a program distribution system for keeping constant conditions which are disclosed in the existing distribution system of a zero knowledge verification portable program secret, preventing reverse engineering based on the constant conditions and a verification body and enhancing tamper resistance of a distribution program.例文帳に追加

既存のゼロ知識証明携帯プログラム配信方式においては公開していた不変条件を秘匿し、不変条件及び証明本体に基づくリバースエンジニアリングを防止し、配信プログラムの耐タンパ性を向上させるプログラム配信方式を提供する。 - 特許庁

To provide a clearance verification device facilitating clearance verification of a required part even when the design of a component is changed, a CAD system having the clearance verification device, and a computer program.例文帳に追加

必要な個所の隙間検証を部品の設計変更が生じた場合であっても容易に実施することができる隙間検証装置、該隙間検証装置を備えるＣＡＤシステム、及びコンピュータプログラムを提供する。 - 特許庁

To provide a program providing device suitable for operation verification and provision of a program developed for an on-vehicle information system, and the on-vehicle information system for executing the program provided thereby.例文帳に追加

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

ORIGINAL NATURE WARRANT SYSTEM, ELECTRONIC SIGNATURE GENERATION INTERFACE METHOD, ORIGINAL NATURE VERIFICATION INTERFACE METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

原本性保証システム、電子署名生成インタフェース方法、原本性検証インタフェース方法、プログラム、及び記録媒体 - 特許庁

VERIFICATION SYSTEM, SEMICONDUCTOR INTEGRATED CIRCUIT, METHOD AND PROGRAM FOR VERIFYING SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

検証システム、半導体集積回路、半導体集積回路の検証方法、及び半導体集積回路の検証プログラム - 特許庁

VIRTUAL TESTER, TEST DEVICE, TEST SYSTEM FOR SEMICONDUCTOR INTEGRATED CIRCUIT, AND VERIFICATION METHOD OF TEST PROGRAM FOR SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

仮想テスタ、テスト装置、半導体集積回路用テストシステム、及び半導体集積回路用テストプログラムの検証方法 - 特許庁

SYSTEM AND METHOD FOR VERIFYING DESIGN AND COMPUTER- READABLE MEDIUM WITH PROGRAM FOR DESIGN VERIFICATION RECORDED THEREON例文帳に追加

設計検証システム、設計検証方法および設計検証プログラムを格納したコンピュータ読取り可能な記録媒体 - 特許庁

SYSTEM AND METHOD FOR SUPPORTING TRANSACTION VERIFICATION AND STORAGE MEDIUM STORED WITH PROGRAM FOR MAKING COMPUTER PERFORM PROCESSING IN THE SYSTEM例文帳に追加

取引検証支援システム、取引検証支援方法及びそのシステムでの処理をコンピュータに行なわせるためのプログラムを格納した記憶媒体 - 特許庁

DISTRIBUTED FUNCTION COOPERATION SYSTEM, FUNCTIONAL ENTITY, DISTRIBUTED FUNCTION MANAGEMENT DEVICE, ARGUMENT NAME SOLUTION METHOD OF DISTRIBUTED FUNCTION COOPERATION SYSTEM, PARAMETER VERIFICATION METHOD OF DISTRIBUTED FUNCTION COOPERATION SYSTEM AND PROGRAM例文帳に追加

分散機能連携システム、機能実体、分散機能管理装置、分散機能連携システムの引数名解決方法、分散機能連携システムのパラメータ検証方法、およびプログラム - 特許庁

To provide an optical disk apparatus, an optical disk apparatus verification system, and an optical disk apparatus verification program, for simply performing verification of recording quality by measuring each pulse width of RF signals and totalizing measured values.例文帳に追加

ＲＦ信号の各パルス幅を測定し、測定値を集計することによって記録品位の検証を手軽に行なうことができるような光ディスク装置、光ディスク検証システム、および光ディスク検証プログラムを提供する。 - 特許庁

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types.例文帳に追加

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。 - 特許庁

To provide a parameter verification system, device, method and program for performing parameter verification work efficiently with high quality without having impact on general users.例文帳に追加

パラメータ検証の作業を一般ユーザに影響を与えることなく、高品質で効率的に実施できるパラメータ検証システム、パラメータ検証装置、パラメータ検証方法およびプログラムを提供する。 - 特許庁

To provide an electronic document verification system and a verification program capable of verifying an electronic signature and a time stamp at a high speed even when a size of electronic data being an application object of the electronic signature and the time stamp is increased.例文帳に追加

電子署名とタイムスタンプとの適用対象となる電子データのサイズが大きくなった場合にも、電子署名とタイムスタンプとを高速に検証することができるようにする。 - 特許庁

INFORMATION COMMUNICATION EQUIPMENT, VERIFICATION SERVER, COMMUNICATION SYSTEM, LEAKAGE SOURCE SPECIFICATION METHOD FOR COMMUNICATION DATA, AND LEAKAGE SOURCE SPECIFICATION PROGRAM FOR COMMUNICATION DATA例文帳に追加

情報通信装置、検証サーバ、通信システム、通信データの漏洩元特定方法及び通信データの漏洩元特定プログラム - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

OPERATING DEVICE, DECRYPTION DEVICE, ENCRYPTION DEVICE, INFORMATION SHARING SYSTEM, 2DNF OPERATING SYSTEM, SIGNATURE GENERATOR, SIGNATURE VERIFIER, SIGNATURE PROCESSING SYSTEM, SIGNATURE VERIFICATION SYSTEM, ARITHMETIC OPERATION METHOD, AND ARITHMETIC OPERATION PROGRAM例文帳に追加

演算装置、復号装置、暗号化装置、情報共有システム、２ＤＮＦ演算システム、署名生成装置、署名検証装置、署名処理システム、署名検証システム、演算方法及び演算プログラム - 特許庁

In this broadcasting system, an edit server 150 and a program edit terminal 152 conduct management, verification and timing adjustment of a music source and a picture being a source to edit a program.例文帳に追加

編成サーバ１５０及び番組編成端末１５２は素材となる音楽素材や画像の管理、検証、及びタイミング調整を行なって番組を編成する。 - 特許庁

To provide a verification system capable of verifying a program without waiting for the completion of a real machine device even in the case that program development precedes the hardware development of a real machine.例文帳に追加

実機のハードウェア開発よりもプログラム開発の方が先行した場合でも、実機デバイスの完成を待たずにプログラム検証が可能な検証システムを提供する。 - 特許庁

To provide a microcomputer software operation verification system capable of efficiently and accurately debugging and evaluating a concerned program.例文帳に追加

対象プログラムのデバッグおよび評価を効率良く、かつ、精度よく行うことが可能なマイコンソフトウェア動作検証システムを提供する。 - 特許庁

To provide a program provision device and an onboard information system, suitable for operation verification and provision of a program developed for the onboard information system.例文帳に追加

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

To provide a verification method and system for an image processing program which enables a verifier to conduct verification speedily and effectively by changing a frequency of a processor in operation.例文帳に追加

動作中のプロセッサーの周波数を変化させることにより、検証者が迅速かつ、効率の良い検証を行うことを可能にする画像処理プログラム検証方法および装置を提供する。 - 特許庁

ATTRIBUTE CERTIFICATE PROCESSING SYSTEM, ATTRIBUTE CERTIFICATION REQUEST DEVICE, ATTRIBUTE CERTIFICATE ISSUING DEVICE, ATTRIBUTE VERIFICATION DEVICE, ATTRIBUTE CERTIFICATION REQUEST METHOD, ATTRIBUTE CERTIFICATE ISSUING METHOD, ATTRIBUTE VERIFICATION METHOD AND PROGRAM例文帳に追加

属性証明書処理システム、属性証明要求装置、属性証明書発行装置、属性検証装置、属性証明要求方法、属性証明書発行方法、属性検証方法及びプログラム - 特許庁

To provide a multiple signature system, a verification system, a multiple signature method, and a multiple signature program, capable of giving an electronic signature expressing a mesh structure.例文帳に追加

メッシュ構造を表現した電子署名を行うことができる多重署名システム及び検証システム及び多重署名方法及び多重署名プログラムを提供すること。 - 特許庁

To provide a platform integrity verification system wherein tamper resistance to reverse engineering of a computer program for measuring environment of a client is enhanced.例文帳に追加

クライアントの環境を測定するコンピュータプログラムのリバースエンジニアリングに対する耐タンパー性を高めたプラットフォーム完全性検証システムを提供する。 - 特許庁

Since the page buffer includes an output driver driving an internal output line in one direction, program verification and reading can be performed by the wired-OR system.例文帳に追加

また、一方向に内部出力線を駆動する出力ドライバーを含むので、ワイアードオア方式でプログラム確認読み出しが可能である。 - 特許庁

IMAGE FORMING APPARATUS, PRINTING DATA ALTERATION VERIFYING SYSTEM, PRINTING DATA ALTERATION VERIFICATION METHOD, COMPUTER PROGRAM, AND COMPUTER READABLE RECORDING MEDIUM例文帳に追加

画像形成装置、印刷データ改ざん検証システム、印刷データ改ざん検証方法、コンピュータプログラム、及びコンピュータ読み取り可能な記録媒体 - 特許庁

To provide a certification research agency verification system and a certification research agency verification program, allowing specification of an improper research agency by verifying whether or not a certification research result by a research agency is proper.例文帳に追加

調査機関による認定調査結果が適切であるかを検証することにより、不適切な調査機関を特定できる認定調査機関検証システム及び認定調査機関検証プログラムを提供する。 - 特許庁

To provide a verification method of verifying an effective test program change time, in the situation where a test is allowed only once or times closely near thereto in a product such as the same magnetic storage device, and a verification system therefor.例文帳に追加

同じ磁気記憶装置などの製造物に対して１回程度しか試験できない状況において有効な試験プログラム変更時の検証方法及びその検証システムを提供することにある。 - 特許庁

AUTHORITY VERIFICATION APPARATUS, USER TERMINAL DEVICE, KEY GENERATING APPARATUS, ACCESS CONTROL SYSTEM, COMPUTER PROGRAM, AUTHORITY VERIFICATION METHOD, OPERATION REQUEST NOTIFYING METHOD, KEY GENERATING METHOD AND ACCESS CONTROL METHOD例文帳に追加

権限検証装置及び利用者端末装置及び鍵生成装置及びアクセス制御システム及びコンピュータプログラム及び権限検証方法及び操作要求通知方法及び鍵生成方法及びアクセス制御方法 - 特許庁

To provide a job flow verification method, verification program, and flow control unit capable of verifying a series of flows without a complicated structure in a print system for generating printed matter by performing the series of jobs.例文帳に追加

一連のジョブを行って印刷物を生成する印刷システムにおいて、構成が複雑とならず、一連のフローを検証することができるジョブフロー検証方法、検証プログラムおよびフロー制御装置を提供する。 - 特許庁

ANONYMOUS SIGNATURE GENERATING DEVICE, ANONYMOUS SIGNATURE VERIFICATION DEVICE, ANONYMOUS SIGNATURE TRACING DECISION DEVICE, ANONYMOUS SIGNATURE SYSTEM WITH TRACING FUNCTION, METHODS AND PROGRAM FOR THEM例文帳に追加

匿名署名生成装置、匿名署名検証装置、匿名署名追跡判定装置、追跡機能付き匿名署名システム、それらの方法及びプログラム - 特許庁

This invention simultaneously provides the device for realizing protection of starting computer and consists of an initialization system module, a program verification module and the information safety device.例文帳に追加

本発明は、同時にコンピュータの起動保護を実現する装置を提供しており、初期化システムモジュール、検証プログラムモジュールと情報安全設備を含む。 - 特許庁

To eliminate the need to generate a target program in which a test code is arranged every time verification is performed in an in-circuit emulator system.例文帳に追加

イン・サーキット・エミュレータシステムにおいて、検証を行う毎にテストコードを配置したターゲットプログラムを生成する必要をなくすことができることを目的とする。 - 特許庁

To provide a program generation system capable of easily performing partial verification of a timing chart without requiring new creation of a timing chart of a portion required to be specified.例文帳に追加

指定したい箇所のタイミングチャートを新たに作成する必要をなくして、タイミングチャートの部分検証を容易にできるプログラム生成システムを提供する。 - 特許庁

To provide an evaluation system that can reduce man hours for verification and an evaluation, and to provide an evaluation device, an evaluation method and an evaluation program.例文帳に追加

検証及び評価に係る工数を削減することが可能な評価システム、評価装置、評価方法及び評価プログラムを提供することを目的としている。 - 特許庁

To provide an automatic software verification system for reducing man-hours required to create a regression test program necessary during development as a whole.例文帳に追加

製品全体として開発時に必要とされるリグレッションテストプログラム作成に要する工数を低減できるソフトウェア自動検証システムを提供することを目的とする。 - 特許庁

To automatically generate a test program for operation verification of a processing system of a test object developed as a refine product to a standardized product, and verify the operation validity by use of the test program.例文帳に追加

標準規格品に対するリファイン品として開発した検査対象の処理系に関し、処理系の動作検証を行うテストプログラムを自動生成し、そのテストプログラムにより動作正当性検証を行う。 - 特許庁

To provide a test support apparatus which can streamline the data verification of a database (RDB) across program introduction by information system development, a test support system, a method of controlling the test support apparatus, a program and a recording medium.例文帳に追加

情報システム開発におけるプログラムの導入前後におけるデータベース（ＲＤＢ）のデータ検証作業を効率的に行うことが可能なテスト支援装置、テスト支援システム、テスト支援装置の制御方法、プログラム、及び記録媒体を提供することを目的とする。 - 特許庁

To provide an aggregate signature system, a verification system, an aggregate signature method, and an aggregate signature program that can represent a tree structure, and achieve sequenced electronic signature through efficient arithmetic processing.例文帳に追加

木構造を表現でき、かつ効率的な演算処理によって順序付き電子署名を行うことができるアグリゲート署名システム及び検証システム及びアグリゲート署名方法及びアグリゲート署名プログラムを提供すること。 - 特許庁

To provide a system and an apparatus for the verification of a signal wherein vasatility are high in verification object and use, a skilled technique such as experience, intuition or the like is not required and specifications according to a taste of a user can be set, and to provide a computer program and a recording medium.例文帳に追加

検証対象及び用途において汎用性が高く、経験及び勘などの熟練した技術が不要であり、ユーザの嗜好に応じた仕様に設定することができる信号検証システム、信号検証装置、コンピュータプログラム、及び記録媒体の提供。 - 特許庁