Formal Approachによるプロトコル変換
スポンサーリンク
概要
- 論文の詳細を見る
各種の情報通信の発達に従って、異種ネットワークを接続する為のプロトコル変換の必要性が高まりつつある。本稿ではformalな手法を用いてプロトコル変換の一般的理論の可能性を論じる。まず、プロトコル変換機械のformalな定義を提起し、プロトコル変換機械が存在するか否かが決定的問題である事を証明する。更にプロトコル変換機械を生成するアルゴリズムを与える。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 日本語校正支援における同音語誤り検出 : 警告レベル分けの判定基準
- 日本語校正支援における同音語誤り検出 : 警告レベル分けの提案
- 日本語校正支援システムにおける校正知識 : 同音異義語について
- 誤文中の形態素出現確率を用いる校正支援
- 日本語入力のミスタイプにより発生する形態素連鎖の調査
- 日本語校正支援システムFleCSによる新聞記事校正
- 日本語校正支援システムFleCS : 新聞校正における実力診断
- 日本語校正支援システムFleCS : 校正規則の衝突について
- 日本語校正支援システムFleCS : 新聞社における実用化報告
- 日本語校正支援システムFleCS : 新聞用ルールの獲得と表現
- 4M-5 日本語文章校正ツール"Chanterelle" : 入力ミス及び表記揺らぎについて
- ロバストな日本語形態素解析 : 辞書依存性の低いハイブリッドアルゴリズムの提案
- 日本語校正支援システムFleCS : ミスタイプ検出について
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- Formal Approachによるプロトコル変換
- 文書を作成するためのツ-ル (知的生産のための新しいツ-ル特集号)