2011年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-027時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法

三輪　陽介,  横川　智教,  宮崎　仁,  近藤　真史,  佐藤　洋一郎,  

B-028UMLシーケンス図の構造記述から線形時相論理式への自動変換手法

宮本　直樹,  和崎　克己,  

B-029ボランティアコンピューティングにおける功績値評価に基づいた探索問題解決手法

伊草　拓哉,  松澤　智史,  武田　正之,  

B-030モバイルエージェントシステムAgentSphereにおける強マイグレーション機構の改良

鈴木　幸祐,  甲斐　宗徳,  

B-031モバイルエージェントシステムAgentSphereにおける通信プロトコルの開発

山本　拓哉,  山口　大祐,  甲斐　宗徳,  

B-032JavaVM上での非手続オブジェクト転送を可能とする直列化方式の構築

山口　大祐,  赤井　雄樹,  甲斐　宗徳,  

RB-003ラダーダイアグラムの検索的解析環境の構築

仲井　勘,