| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
サービスコンピューティング研究会 (SC) (検索条件: 2014年度)
「from:2014-07-28 to:2014-07-28」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SC, IPSJ-UBI (連催) |
2014-07-28 13:30 |
東京 | 国立情報学研究所 | ClouTプロジェクト：IoTとクラウドの融合によるスマートシティーへの取り組み ○石川冬樹（NII）・中澤 仁（慶大）  SC2014-5 |
本発表では，日欧9機関と4都市の合同プロジェクトClouTについて紹介する．ClouTでは，モノのネットワークと人のネッ... [more] | SC2014-5 pp.1-2 |
| SC, IPSJ-UBI (連催) |
2014-07-28 10:00 |
東京 | 国立情報学研究所 | 異なる形式手法を用いて検査されたサービスの合成結果の検証 ○船越和大・細野 繁（NEC） SC2014-6 |
複数の形式手法を用いてそれぞれ検査されたサービスのモデルとその制約を示す論理式を入力とし，定理証明支援系であるCoq 上... [more] | SC2014-6 pp.49-54 |
| SC, IPSJ-UBI (連催) |
2014-07-28 10:25 |
東京 | 国立情報学研究所 | ソフトウェア開発演習のための仮想デスクトップ環境の試作 ○井垣 宏（阪大）・柗本真佑・佐伯幸郎（神戸大）・福安直樹（和歌山大）・楠本真二（阪大） SC2014-7 |
[more] | SC2014-7 pp.55-60 |
[研究会発表申込システムのトップページに戻る]