プロトコル検証システムの設計と実現方式
スポンサーリンク
概要
- 論文の詳細を見る
従来,多くのプロトコルは有限状態機械でモデル化され開発されて来た.このようなプロトコルの開発における検証は,仕様記述言語で書かれた仕様をユーザが自分で検証用表現になおし,そして検証アルゴリズムにかけていた.また,検証結果も検証用の表現で与えられるため,ユーザにとって非常に理解性に乏しいものになっていた.これらの問題を解決し,プロトコル開発の生産性を向上させるために,我々は先に,仕様記述言詰NESDEL上でプロトコルの検証ができるシステムを提案した.今回は,この検証システムの各構成要素のより貝体的な実現方式について報告する.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 情景画像からの文字抽出(画像認識, コンピュータビジョン)
- 情景画像からの文字抽出(文字とドキュメントの認識・理解)
- 広域分散型ネットワークイベント管理手法の提案 : 迷惑メール情報の組織間共有(セキュリティとトラヒック管理,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- 拡張擬似木パターンマッチング問題に対するビット並列アルゴリズム
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 多元画像を用いたクラスターの自動判別
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 制限されたラベルをもつ木に対するビット並列型木パターン照合アルゴリズム
- D-002 XMLデータの暗号化に対応した安全な検索方法の提案(データベース,一般論文)
- 文字列上のビット並列法を利用した木パターン照合アルゴリズム
- 拡張正規表現所属問題および検索問題に対するDFA型アルゴリズムの効率的な実装について
- 拡張正規表現所属問題に対するDFAに基づいたアルゴリズム
- 動的に演算定義が可能な拡張正規表現照合システム
- オートマトンを利用した拡張正規表現照合アルゴリズムの実験的評価
- 正規表現をNFAへ変換するためのビット並列アルゴリズム
- A-033 正規表現をNFAに変換するためのアルゴリズムについて(A.モデル・アルゴリズム・プログラミング)
- 準拡張正規表現からNFAへの新しい変換法と近似照合問題への応用
- 準拡張正規表現に対する新しい有限オートマトンモデルについて(オートマトン理論, 言語理論)
- 拡張正規表現照合のためのビット並列アルゴリズム
- 拡張正則表現に対する近似文字列照合問題
- 拡張正則表現に対する文字列照合アルゴリズムの実験的評価
- 拡張正則表現に対する認識アルゴリズム
- 活性炭の透過電子顕微鏡像からのファジィテンプレートによる境界抽出法
- 炭素材料の透過電子顕微鏡像への画像処理とファジィ推論の応用
- 交代有限オートマトンから他の有限オートマトンへの変換について
- 拡張正則表現と入力同期式交代有限オートマトンの関係について
- 発想法における直感的な分類作業に対して参加者の知識量のばらつきが及ぼす影響の評価・分析法
- LOTOSによる仕様記述の事例ベース推論に基づいた教育支援システムについて
- MobileIPv6 MIB およびNEMO MIBを用いたネットワーク構成情報の可視化手法
- 正規表現からコンパクトなオートマトンを構成するための一手法
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- 2050年マルチメディア通信と調和・共生コンピューティング
- 高速K-means法を用いたカラー画像の色量子化
- D-11-169 カラー画像からの文字抽出法としてのファジィクラスタリング
- ε動作を持つ交代有限オートマトンからのε動作の除去について
- 高速化K-meansクラスタリングを用いたカラー画像の色量子化
- 3ポート超並列コンピュータ上での2つの並列演算方式
- 環グループ完全結合ネットワークの性質
- ノード障害時のネットワーク型コンピュータ上でのバイトニックソートの改良法
- 衛星ネットワークと地上広域UNIXネットワークの接続方式
- LOTOSグラフィックエディタの構成
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 事例ベース推論を適用した通信ソフトウェア開発支援環境
- パネル討論会 : 創立30周年記念 : 日本における情報処理教育のあり方
- PC Communication in an OSI environment : TM&T : Mail and Talk on TAINS
- 次世代高次コミュニケーション
- 故障ノードを持つ並列コンピュータ上での効率的なソーティングアルゴリズム
- 障害のある並列コンピュータ上でのソーティングアルゴリズム
- ノード障害時のネットワーク型コンピュータ上でのバイトニックソート
- ステップ数を増やさずにできるノード障害時のネットワーク型コンピュータ上でのバイトニックソート
- リンク障害時の有弦環結合コンピュータにおけるソーティング
- LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法
- 表明を持つ項書き換え系(A-TRS)を用いたストリーム・プログラミング
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 実装言語に依存しない協調プロトコル実装のためのプラットフォーム
- 自然言語に基づいた通信システムの仕様記述支援環境
- 通信システムの仕様記述教育支援システムの構成
- LOTOS仕様の実装法に関する一考察
- 情景画像からの文字抽出(文字とドキュメントの認識・理解)
- 交代有限オートマトンと拡張正則表現
- リバーサル限定交代チューリング機械の領域計算量
- リバーサル限定交代チューリング機械における交代数の能力について
- リバーサル限定交代チューリング機械の交代数について(計算量理論)
- オブジェクト指向に基づいた分散処理OSの設計と実現
- 双方向リアルタイムマルチメディア通信のための分散型ALMツリー反復構成手法(オーバーレイネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
- D-4-1 XMLデータの暗号化に対応した安全な木パターン照合方法の提案(D-4.データ工学,一般セッション)
- 記号列のラベルをもつ拡張擬似木パターンマッチング
- 正規表現からコンパクトなオートマトンを構成するための一手法
- 多方向走査型SMFによるランダム値インパルス性雑音除去
- 8隣接格子網の性能評価
- 記号列のラベルをもつ拡張擬似木パターンマッチング (コンピュテーション)
- TAINSの全体構成
- 東北大学総合情報ネットワークTAINSの構想
- わずかにランダム性をもつソ-スからのランダム性の抽出
- 決定性時間と非決定性時間の分割に関する一考察
- プロトコル検証システムの設計と実現方式
- 時間と葉の数を限定した1テ-プオルタネ-ティングチュ-リング機械
- リバ-サル計算量上でのATMとNTM間の能力の比較
- 時間,葉,領域限定とATMとリバ-サル,領域限定とNTMとの関係
- 時間-葉限定オ-ルタネ-ション
- PrologプログラムのAND-OR並列実行モデル
- LOTOS仕様からのTTCN表現によるテストシーケンスの自動生成
- 代数的に記述されたプロトコルの検証に関する一考察
- 記号列のラベルをもつ拡張擬似木パターンマッチング
- AN APPROXIMATION METHOD FOR K-TERMINAL RELIABILITY EVALUATIONIN INFORMATION NETWORKAn
- ユーザインタフェースの設計に関する一考察
- 移動エージェントを利用したQoS保証機能の設計
- 利用者環境の違いとQoS保証を考慮したマルチメディア会議システム
- 双対型positionオートマトンを用いたコンパクトなDFA表現
- 正規表現に対するビット並列型検索アルゴリズム
- 多方向走査平均処理と2×2雑音検出器を組み合わせたスイッチングメジアンフィルタ(画像)
- 双対型 position オートマトンを用いたコンパクトなDFA表現
- LOTOSの状態遷移的解釈
- 多方向走査平均処理と2×2雑音検出器を組み合わせたスイッチングメジアンフィルタ
- 正規表現に対するビット並列型検索アルゴリズム
- 多方向型スイッチングメジアンフィルタのエッジ情報をもとにしたしきい値算出の基礎検討
- 階層化的ブルームフィルタを用いた安全で効率的なキーワード検索法(データ工学,Web情報システム)