π-計算に基づくモバイルエージェントの形式化
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, モバイルエージェントの形式化を行うため, プロセス代数π-計算に基づくネットワークプログラミング言語Nepi^2の言語仕様を拡張し処理系を実装する.この拡張は非決定和演算子に関するもので, モバイルエージェント処理系構築に要求するNepi^2言語の自己記述に必要である.Nepi^2を拡張した上で, 拡張言語の自己記述を与える.これによって, プロセス代数π-計算に基づくモバイルエージェントのための基礎づけを行う.
- 社団法人電子情報通信学会の論文
- 1998-11-30
著者
-
真野 健
NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
小暮 潔
NTTコミュニケーション科学基礎研究所
-
小暮 潔
ATRメディア情報科学研究所
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
河辺 義信
NTTコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
関連論文
- 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
- 実世界指向情報統合に向けて
- 歩行者ナビゲーションにおける情報伝達の利用者適応の分析
- D-12-102 複数視点監視カメラを用いた動的な見え方学習法(D-12.パターン認識・メディア理解,一般講演)
- 実世界指向情報統合に向けて
- 確率様相論理による秘匿性の証明
- コンピュータサイエンスシリーズ 15 離散数学, 牛島和夫(編著), 相利民, 朝廣雄一(著), コロナ社(2006-09), A5判, 定価(本体3,000円+税)
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価(テーマセッション(2),人の検出・計測・認識)
- 加速度センサを用いた日常行動識別におけるデータ収集条件の識別性能への影響評価(テーマセッション(2),人の検出・計測・認識)
- 擬人化における表情強度の身体動作-歌声間クロスモダリティ
- 音声モーフィングを用いた歌声表情付けの知覚的連続性の検討((SS)高品質音声分析変換合成法STRAIGHT, 一般, STRAIGHTスペシャルセッション(SS))
- コミュニケーション科学技術の新領域開拓活動--ディジタルシティの研究 (特集 NTTにおけるオープン・ラボ活動)
- 外部観測可能な非言語行動による興味傾向判別の提案
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 高階書換え系の単一正規形性
- 高階書き換え系の単一正規形性
- エージェントとロボットによるユーザ行動への影響評価
- Nepi : π計算に基づくネットワーク・プログラミング言語
- 共同作業時のコミュニケーションにおける視線行動の分析(UBI5:インタラクション・ユーザ支援)
- 共同作業時の身体動作と視線運動に関する考察(UBI5:インタラクション・ユーザ支援)
- 共同作業時のコミュニケーションにおける視線行動の分析(UBI5:インタラクション・ユーザ支援)
- 共同作業時の身体動作と視線運動に関する考察(UBI5:インタラクション・ユーザ支援)
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
- ETAPS 2006参加報告(会議レポート)
- Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
- π-計算の名前制限の名前生成による実装の正しさ
- プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために)
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
- 攻撃者を考慮した匿名性検証法 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (形式的手法)
- D-18 移動軌跡データモデルと領域に基づく問合せ処理(データ編成と高速化,D.データベース)
- 歩行者ナビゲーションにおける情報伝達の利用者適応の分析
- Generic Communication Protocol Program を利用したエージェントの interoperability の実現
- チャネルに基づく選択付き通信のための分散プロトコル
- Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系
- 電子投票プロトコルに対する無証拠性の定理証明
- フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学)
- 「情報処理学会論文誌 : プログラミング」の編集について
- 匿名性・プライバシーの工学的定式化とその学際的応用
- CoSyProofs 2009参加報告(会議レポート)
- 認知変数連結論 : 認知心理学を見つめ直す, 中島義明(著), コロナ社(2007-11), B6判, 定価(本体2,600円+税)
- 6. 匿名性とプライバシのためのフォーマルメソッド(Part III:新領域の開拓,フォーマルメソッドの新潮流)
- 順序ソート項書換え系における合流性のモジュラ性
- 確率様相論理による秘匿性の証明
- 電子投票プロトコルに対する無証拠性の定理証明 (特集 人と共存するコンピュータセキュリティ技術)
- コンシェルジュサーバを持つ電話システムの形式的検証
- AT-1-2 Larch Proverによる論理パズルの解法(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)