分散オブジェクト技術によるプログラムのπ計算への変換

スポンサーリンク

概要

• 論文の詳細を見る
• 2006-07-15

著者

• 山口 将志

  近畿大学

• 加藤 暢

  近畿大学

• 樋口 昌宏

  近畿大学

• 樋口 昌宏

  近畿大学大学院総合理工学研究科

• 樋口 昌宏

  近畿大学理工学部情報学科

• 加藤 暢

  近畿大学理工学部情報学科

関連論文

• 分散オブジェクト技術によるプログラムのπ計算への変換
• D-1-12 時間オートマトンからタイマ付き有限状態機械への変換における状態数簡単化について(D-1. コンピュテーション,一般セッション)
• M-014 タイマを用いる分散システムにおける時間因果順序違反を保存した障害復旧方法(M分野:ユビキタス・モバイルコンピューティング)
• 研究室配属プログラムの開発と運用
• RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
• ネットワーク仮想記憶システムにおける宣言的アクセス制御方式
• ネットワーク仮想記憶システムの試作(2) : プロセッサ間通信性能
• 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
• 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
• Ambient計算に基づく動的な海上物流の監視システム
• ネットワーク仮想記憶システムの試作(3) : 伝送路高速化及びFDDI適用の検討
• ネットワーク仮想記憶システムの試作(1) : システム構成
• ネットワーク仮想記憶システム : NET-VMS〔2〕プロセス間通信方式
• A_014 時間オートマトンのタイマ付き有限状態機械への変換法(A分野:モデル・アルゴリズム・プログラミング)
• 物流システムに対するAmbient Logicモデル検査システム
• 物流システムに対する Ambient Logic モデル検査システム
• 物流システムに対するAmbient Logicモデル検査システム
• 物流システムに対するAmbient Logicモデル検査システム
• 3M-7 Ambient Calculusを用いる物流検査システムの実装(数理モデルと問題解決,学生セッション,ソフトウェア科学・工学)
• A-032 分散オブジェクトからπ計算プロセスへの変換系(A分野:モデル・アルゴリズム・プログラミング)
• Ambient Calculusを用いた物流検査システム
• A-015 動的な接続関係を持つJavaプログラムの一記述法とπ計算への変換(A分野:モデル・アルゴリズム・プログラミング)
• D-1-12 Javaオブジェクトからπ計算プロセスへの変換について(D-1. コンピュテーション, 情報・システム1)
• D-5-5 例示部分に対する関連部分抽出のための文書検索法
• Java分散オブジェクトからπ計算プロセスへの変換系
• 3P-9 モバイルアドホックネットワークのための低トラヒックコーラムによるオブジェクト配布方式の評価(ソフトウェアアーキテクチャ・設計,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• 6V-2 協調作業支援のためのJavaSpacesアクセスエージェントの開発(分散システム・運用管理,学生セッション,ネットワーク)
• Ambient CalculusのJavaによる処理系の実装
• 物流システム記述のための多重Ambient Calculus (プログラミング Vol.5 No.2)
• 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査 (プログラミング Vol.5 No.3)
• 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム
• 時間付きAmbient Calculus
• B-002 Webアプリケーションを対象とした高網羅率の単体テスト自動生成について(テスト・検証,B分野:ソフトウェア)

もっと見る 閉じる

スポンサーリンク