計画研究
特定領域研究
高度にスケーラブルな情報基盤を安全に構築・運用することを目的に, 以下の3 点に焦点を絞った研究を行う.・高度にスケーラブルなアクセス制御基盤・高度にスケーラブルかつ安全なホスティング基盤・高度にスケーラブルかつ動的なアプリケーション更新基盤また, この目的を達成するために, ソフトウェア検証, ソフトウェアテスト, 実行時ミドルウェアの技術を組み合わせ, 設計から運用にいたるソフトウェアライフサイクルを意識した研究開発を行なう.
すべて 2009 2008 2007 2006
すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (3件)
Journal of Object Technolgoy Vol. 6
ページ: 341-361
Electronic Notes in Theoretical Computer Science Vol. 163
ページ: 45-56