論文

1999年3月15日

並行計算πFを用いたモバイルシステム管理

情報処理学会研究報告. DPS,マルチメディア通信と分散処理研究会報告
  • 安藤 敏彦
  • ,
  • 高橋 薫
  • ,
  • 加藤 靖

94
56
開始ページ
115
終了ページ
120
記述言語
日本語
掲載種別
出版者・発行元
一般社団法人情報処理学会

本研究では,並行計算πFを用いて,モバイルシステムの安定な運用を行うための方法を考察する.モバイルシステムの特徴は,通信主体の移動,および動的リンク切替である.πFは,そのような移動性に加え,置かれている環境によるシステム挙動への制約を考慮したπ計算の拡張版である.本研究では,事故などの環境の変化から生じるシステムのトラブルを環境レベルで補償するために,通信主体間の接続性に注目する.この接続可醜性に基づき,πFでモデル化した環境を修復する指針を示す.

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/110002938406
CiNii Books
http://ci.nii.ac.jp/ncid/AN10116224
URL
http://id.ndl.go.jp/bib/5338266
ID情報
  • ISSN : 0919-6072
  • CiNii Articles ID : 110002938406
  • CiNii Books ID : AN10116224

エクスポート
BibTeX RIS