6月17日(金) 10:40 - 17:40 |
|
- |
委員長あいさつ |
(1) |
10:45-11:10 |
広域災害に対応する哀情報クラウドサービスモデルの検討 |
野地 保・○石川希人(東海大)・荻野 正(三菱電機インフォメーションテクノロジー) |
(2) |
11:10-11:35 |
事業継続管理の今日の状況および「継続管理」のイメージング ~ 人間の認識とモデリングの視点から ~ |
○長 香奈恵 |
(3) |
11:35-12:00 |
クラウドコンピューティング環境GAEによる遠方監視制御システムの試作 |
○宮西洋太郎(アイエスイーエム) |
|
12:00-13:00 |
休憩 ( 60分 ) |
(4) |
13:00-13:10 |
2010年度最優秀論文表彰式 |
(5) |
13:10-14:10 |
[基調講演]情報システム・ソフトウェアの信頼性向上に向けたIPA/SECの取り組み |
○立石譲二(情報処理推進機構) |
|
14:10-14:20 |
休憩 ( 10分 ) |
(6) |
14:20-14:45 |
ICTビジネスモデルの事例研究 |
○堀米 明(フィジオ) |
(7) |
14:45-15:10 |
3.11以降の社会的エンタプライズに向けたモデル構築方法 ~ エネルギ・ソリューションへの適用 ~ |
○松本正雄(ソリューション総研) |
(8) |
15:10-16:10 |
[特別講演]シリコンバレーから学ぶ ~ 相補的なビジネスモデル ~ |
○広瀬 正(日立) |
|
16:10-16:25 |
休憩 ( 15分 ) |
(9) |
16:25-16:50 |
Event-BモデルのHaskellによる実装 |
○越賀 準・新川芳行(龍谷大) |
(10) |
16:50-17:15 |
CPNによるGoogle App Engineのモデル化と検証 |
○國枝秀行・新川芳行(龍谷大) |
(11) |
17:15-17:40 |
CPNによるデータベース整合性検証 |
○田中一樹・新川芳行(龍谷大) |