• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

ユビキタスネットワークにおけるサービス競合問題に関する研究

研究課題

研究課題/領域番号 18700062
研究種目

若手研究(B)

配分区分補助金
研究分野 計算機システム・ネットワーク
研究機関神戸大学 (2007-2008)
奈良先端科学技術大学院大学 (2006)

研究代表者

中村 匡秀  神戸大学, 大学院・工学研究科, 准教授 (30324859)

研究期間 (年度) 2006 – 2008
研究課題ステータス 完了 (2008年度)
配分額 *注記
3,920千円 (直接経費: 3,500千円、間接経費: 420千円)
2008年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2007年度: 1,000千円 (直接経費: 1,000千円)
2006年度: 1,100千円 (直接経費: 1,100千円)
キーワード情報通信システム / ユビキタスネットワーク / サービス競合 / ホームネットワークシステム / 競合検出 / 競合解消 / アクチベーション / 必須メソッド / 中断・再開処理 / ホームネットワーク / ビル管理システム / 安全性検証 / サービス競合問題 / JML / 検証と妥当性確認 / モデル化 / オブジェクト指向モデリング
研究概要

本研究では,ユビキタスネットワークにおける複数のサービス間の機能衝突であるサービス競合問題に焦点をあて,競合問題の形式化,検出方式,解消方式,評価に関する研究を行った.また,ユビキタスアプリケーションの一つである,ホームネットワークシステムを実際に開発し,実システム上でホームネットワークサービスの競合検出,解消方式を実装,評価を行った.一連の研究成果を,論文誌,国際会議,研究会を含め,45編の論文にまとめ発表した.

報告書

(4件)
  • 2008 実績報告書   研究成果報告書 ( PDF )
  • 2007 実績報告書
  • 2006 実績報告書
  • 研究成果

    (71件)

すべて 2009 2008 2007 2006 その他

すべて 雑誌論文 (27件) (うち査読あり 21件) 学会発表 (37件) 図書 (1件) 備考 (5件) 産業財産権 (1件)

  • [雑誌論文] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model2009

    • 著者名/発表者名
      Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto
    • 雑誌名

      International Journal of Smart Home vol.3, no.1

      ページ: 67-80

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Using Formal Methods to Increase Confidence in a Home Network System Implementation : a Case Study2009

    • 著者名/発表者名
      L. du-Bousquet, M. Nakamura, B. Yan, H. Igaki
    • 雑誌名

      Innovations in Systems and Software Engineering (ISSE Journal) (採録決定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model2009

    • 著者名/発表者名
      B. Yan, M. Nakamura, K. Matsumoto
    • 雑誌名

      International Journal of Smart Home vol.3, no.1

      ページ: 67-80

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Validating Safety for Integrated Services of Home Network System Using JML2008

    • 著者名/発表者名
      Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumot
    • 雑誌名

      IPSJ Journal (also published as Journal of Information Processing (JIP)) vol.49, no.6

      ページ: 1751-1762

    • NAID

      130000058165

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services2008

    • 著者名/発表者名
      Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Kenichi Matsumoto
    • 雑誌名

      International Journal of Web Services Research vol.5, no.1

      ページ: 82-98

    • NAID

      120006522995

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding2008

    • 著者名/発表者名
      Masahide Nakamura, Yusuke Fukuoka, Hiroshi Igaki, and Ken-ichi Matsumoto
    • 雑誌名

      In IEEE International Conference on Services Computing (SCC 2008)

      ページ: 275-282

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Operating Networked Appliances Using Gaze Information and Voice Recognition2008

    • 著者名/発表者名
      Naohiro Yuasa, Kohei Mitsui, Hiroki Sakakibara, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto
    • 雑誌名

      In Proc. of the IASTED International Conference on Human Computer Interaction (IASTED-HCI 2008)

      ページ: 107-112

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture2008

    • 著者名/発表者名
      Yoji Onishi, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto
    • 雑誌名

      In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008)

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Validating Safety for Integrated Services of Home Network System Using JML2008

    • 著者名/発表者名
      B. Yan, M. Nakamura, L du-Bousquet, and K. Matsumoto
    • 雑誌名

      IPSJ Journal Vol.49, no.6

      ページ: 1751-1762

    • NAID

      130000058165

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services2008

    • 著者名/発表者名
      M. Nakamura, A. Tanaka, H. Igaki, H.Tamada, K. Matsumoto
    • 雑誌名

      International Journal of Web Services Research Vol.5, No.1

      ページ: 82-98

    • NAID

      120006522995

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Validating Safety for Integrated Services of Home Network System Using JML2008

    • 著者名/発表者名
      B. Yan, M. Nakamura, L. du Bousquet, K. Matsumoto
    • 雑誌名

      Journal of Information Processing 採録決定

    • NAID

      130000058165

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study2007

    • 著者名/発表者名
      Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki
    • 雑誌名

      In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods,Verification and Validation (ISOLA 2007)

      ページ: 203-214

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Considering Safety and Feature Interactionsfor Integrated Services of Home Network System,2007

    • 著者名/発表者名
      Ben Yan and Masahide Nakamura
    • 雑誌名

      In Proc. of Int'l. Conf. on Feature Interactions in Software and Communication Systems (ICFI'07)

      ページ: 199-202

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Characterizing Safety of Integrated Services in Home Network System2007

    • 著者名/発表者名
      Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumoto
    • 雑誌名

      In 5th International Conference On Smart homes and health Telematics (ICOST2007) vol.LNCS 4541

      ページ: 130-140

    • NAID

      120006693680

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案2007

    • 著者名/発表者名
      閻 奔, 中村 匡秀, リティ ドウ ブスケ, 松本 健一
    • 雑誌名

      電子情報通信学会技術報告 NS2006-159

      ページ: 7-12

    • NAID

      110006249081

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems2006

    • 著者名/発表者名
      Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, and Mikio Aoyama
    • 雑誌名

      In Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006)

      ページ: 45-52

    • NAID

      120006693739

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Exploiting Eye Gaze Information for Operating Services in Home Network System2006

    • 著者名/発表者名
      Kohei Mitsui, Hiroshi Igaki, Kentaro Takemura, Masahide Nakamura, and Ken-ichi Matsumoto
    • 雑誌名

      In 2006 International Symposium on Ubiquitous Computing Systems (UCS2006) vol.LNCS4239

      ページ: 13-27

    • NAID

      120006693681

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Adapting Legacy Home Appliances to Home Network Systems Using Web Services2006

    • 著者名/発表者名
      Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto
    • 雑誌名

      In IEEE International Conference on Web Services (ICWS2006)

      ページ: 849-858

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Automatically Verifying Integrated Services in Home Network Systems2006

    • 著者名/発表者名
      Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Kenichi Matsumoto
    • 雑誌名

      In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006) vol.II

      ページ: 173-176

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems2006

    • 著者名/発表者名
      H.Igaki, M.Nakamura, K.Matsumoto, M.Aoyama
    • 雑誌名

      Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006)

      ページ: 45-52

    • NAID

      120006693739

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Automatically Verifying integrated Services in Home Network Systems2006

    • 著者名/発表者名
      T.Matsuo, P.Leelaprute, M.Nakamura, et al.
    • 雑誌名

      Proc. of International Technicai Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006) II

      ページ: 173-176

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Adapting Legacy Home Appliances to Home Network Systems Using Web Services2006

    • 著者名/発表者名
      M.Nakamura, A.Tanaka, H.Igaki, H.Tamada, K.Matsumoto
    • 雑誌名

      Proc. of IEEE International Conference on Web Services (ICWS2006)

      ページ: 849-858

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Exploiting Eye Gaze Information for Operating Services in Home Network System2006

    • 著者名/発表者名
      K.Mitsui, H.Igaki, K.Takemura, M.Nakamura, K.Matsumoto
    • 雑誌名

      International Symposium on Ubiquitous Computing Systems (UCS2006) LNCS4239

      ページ: 13-27

    • NAID

      120006693681

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] ホームネットワークシステムにおける家電連携サービスの安全性に関する考察2006

    • 著者名/発表者名
      閻 奔, 中村 匡秀, リティ ドウ ブスケ, 松本 健一
    • 雑誌名

      電子情報通信学会技術報告 IN2006-97

      ページ: 49-54

    • NAID

      110005717548

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Using Formal Methods to Increase Confidence in a Home Network System Implementation: a Case Study

    • 著者名/発表者名
      Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki
    • 雑誌名

      Innovations in Systems and Software Engineering (ISSE Journal) Springer, (to appear)

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System

    • 著者名/発表者名
      Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto
    • 雑誌名

      International Journal of Smart Home to appear

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System

    • 著者名/発表者名
      Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura, and Kousuke Ikegami
    • 雑誌名

      In 10th International Conference on Feature Interactions in Telecommunications and Software Systems to appear

    • NAID

      110007324212

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [学会発表] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System2009

    • 著者名/発表者名
      M. Nakamura, H. Igaki, Y. Yoshimura, K. Ikegami
    • 学会等名
      Int'l Conf. on Feature Interactions in Telecom munications and Software Systems (ICFI 2009)
    • 発表場所
      リスボン, ポルトガル(採録決定)
    • 年月日
      2009-06-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル2009

    • 著者名/発表者名
      江上公一, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.75-80
    • 発表場所
      那覇, 沖縄
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装2009

    • 著者名/発表者名
      池上弘祐, 吉村悠平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3),pp.7-12
    • 発表場所
      那覇, 沖縄
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] エンドユーザーによるセンサー駆動サービスの構築支援環境の提案2009

    • 著者名/発表者名
      松尾周平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.43-48
    • 発表場所
      那覇, 沖縄
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおける環境相互作用を利用した省エネ機器連携サービスの一構築手法2009

    • 著者名/発表者名
      岡村雄敬, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.13-18
    • 発表場所
      那覇, 沖縄
    • 年月日
      2009-03-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおける家電連携サービスのための競台解消方式の考察2009

    • 著者名/発表者名
      吉村悠平, 池上弘祐, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.439-444
    • 発表場所
      読谷村, 沖縄
    • 年月日
      2009-03-04
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 他サービスとの連携を考慮した時関駆動型声ホームネットワークサービス基盤の改良2009

    • 著者名/発表者名
      福田将之, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.433-438
    • 発表場所
      読谷村, 沖縄
    • 年月日
      2009-03-04
    • 関連する報告書
      2008 実績報告書
  • [学会発表] コンテキストアウェアアプリケーションの開発を容易化するセンササービス基盤2009

    • 著者名/発表者名
      坂本寛幸, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.381-386
    • 発表場所
      読谷村, 沖縄
    • 年月日
      2009-03-04
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおける家電連携サービスのための競合解消方式の考察2009

    • 著者名/発表者名
      吉村悠平, 池上弘祐, 井垣宏, 中村匡秀
    • 学会等名
      情報ネットワーク研究会
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] 他サービスとの連携を考慮した時間駆動型ホームネットワークサービス基盤の改良2009

    • 著者名/発表者名
      福田将之, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル2009

    • 著者名/発表者名
      江上公一,井垣宏,中村匡秀
    • 学会等名
      電子情報通信学会 OIS研究会 OIS2008-75(2009-3)
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装2009

    • 著者名/発表者名
      池上弘祐, 吉村悠平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会 OIS研究会 IEICE-OIS-462
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] エンドユーザーによるセンサー駆動サービスの構築支援環境の提案2009

    • 著者名/発表者名
      松尾周平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会 OIS研究会
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークシステムにおける環境相互作用を利用した省エネ機器連携サービスの一構築手法2009

    • 著者名/発表者名
      岡村雄敬, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会 OIS研究会 OIS2008
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] コンテキストアウェアアプリケーションの開発を容易化するセンササービス基盤2009

    • 著者名/発表者名
      坂本寛幸, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Deriving Safety Properties for Home Network System Based or Goal-Oriented Hazard Analysis Model2008

    • 著者名/発表者名
      B. Yan, M. Nakamura, K. Matsumoto
    • 学会等名
      Third International Symposium on Smart Home SH08
    • 発表場所
      三亜, 中国
    • 年月日
      2008-12-14
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおけるリアルタイムな家電制御サービスの実現2008

    • 著者名/発表者名
      福田将之, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136,pp.041-046
    • 発表場所
      神戸, 兵庫
    • 年月日
      2008-07-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] RSSを利用したWeb上の情報資源とホームネットワークシステムの連携2008

    • 著者名/発表者名
      坂本寛幸, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136, pp.047-052
    • 発表場所
      神戸,兵庫
    • 年月日
      2008-07-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ホームネットワークシステムにおけるサービス競合の動的検出・解消システムの設計と実装2008

    • 著者名/発表者名
      吉村悠平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136
    • 発表場所
      神戸, 兵庫
    • 年月日
      2008-07-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Implementing Multi-Vendor Home Network System with Vendor-Neutral, Services and Dynamic Service Binding2008

    • 著者名/発表者名
      M. Nakamura, Y. Fukuoka, H. Igaki, K. Matsumoto
    • 学会等名
      Int'l Conf on Services Computing (SCC 2008)
    • 発表場所
      ホノルル, アメリカ
    • 年月日
      2008-07-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture2008

    • 著者名/発表者名
      Y. Onishi, H. Igaki, M. Nakamura, K. Matsunioto
    • 学会等名
      IASTED International Conference on Software Engineering (IASTED SE 2008)
    • 発表場所
      インスブルック, オーストリア
    • 年月日
      2008-02-11
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ホームネットワークシステムにおけるリアルタイムな家電制御サービスの実現2008

    • 著者名/発表者名
      福田将之, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] RSSを利用したWeb上の情報資源とホームネットワークシステムの連携2008

    • 著者名/発表者名
      坂本寛幸, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークシステムにおけるサービス競合の動的検出・解消システムの設計と実装2008

    • 著者名/発表者名
      吉村悠平, 井垣宏, 中村匡秀
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークにおける家電連携サービス作成支援システムの開発2008

    • 著者名/発表者名
      関本純一, 中村匡秀, 井垣宏, 松本健一
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] 動的サービスバインディング機構を用いたマルチベンダホームネットワークシステムの一実現手法2008

    • 著者名/発表者名
      福岡佑介, 西岡隆司, 中村匡秀, 井垣宏, 松本健一
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ビル管理システム連携におけるシステムとサービス競合の定式化2008

    • 著者名/発表者名
      西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎
    • 学会等名
      情報処理学会研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークシステムにおける家電状態を利用した音声操作インタフェースの改善2008

    • 著者名/発表者名
      榊原弘記, 中村匡秀, 井垣宏, 松本健一
    • 学会等名
      電子情報通信学会2種研究会 サイバーワールド(CW)第9回研究会
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] AXELLA: ユーザの注視情報を利用したホームネットワークシステム向けインタフェースシステム2008

    • 著者名/発表者名
      三井康平, 井垣宏, 中村匡秀, 松本健一
    • 学会等名
      電子情報通信学会2種研究会 サイバーワールド(CW)第9回研究会
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Using Formal Methods to Increase Confidence in A Home Network Syst em Implementation, Case Study2007

    • 著者名/発表者名
      L. du Bousquet, M. Nakamura, B. Van, H. Igaki
    • 学会等名
      ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)
    • 発表場所
      ポワティエ, フランス
    • 年月日
      2007-12-14
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Characterizing Safety of Integrated Services in Home Network System2007

    • 著者名/発表者名
      B. Yan, M. Nakamura, L.du Bousquet, K. Matsumoto,
    • 学会等名
      5th International Conference On Smart homes and health Telematics (ICOST2007)
    • 発表場所
      奈良, 日本
    • 年月日
      2007-06-22
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ビル管理システムにおけるサービス指向アーキテクチャの適用 〜 異種サービスの連携と安全性に関する考察 〜,2007

    • 著者名/発表者名
      西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークにおける家電連携サービスのユーザビリティ評価2007

    • 著者名/発表者名
      湯浅 直弘, 伊原誠人, 中村匡秀, 松本健一
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案2007

    • 著者名/発表者名
      閻 奔, 中村匡秀, リディ ドゥ ブスケ, 松本健一
    • 学会等名
      電子情報通信学会技術報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案2007

    • 著者名/発表者名
      井垣宏, 長江洋子, 山田松江, 中村匡秀, 松本健一, 青山幹雄
    • 学会等名
      電子情報通信学会技術研究報告
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] オブジェクト指向モデルを利用したSOAのためのモデル指向開発手法2007

    • 著者名/発表者名
      井垣宏, 中村匡秀, 松本健一, 青山幹雄
    • 学会等名
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2007
    • 発表場所
      イン・那覇
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ホームネットワークシステムにおける家電連携サービスの安全性に関する考察2006

    • 著者名/発表者名
      閻 奔, 中村匡秀, リディ ドゥ ブスケ, 松本健一
    • 学会等名
      電子情報通信学会技術報告
    • 関連する報告書
      2008 研究成果報告書
  • [図書] Serice-Oriented Architecture for Migrating Legacy Home Appliances to Home Network System -- Principle and Applications

    • 著者名/発表者名
      Masahide Nakamura, Hiroshi Igaki, Akihiro Tanaka, Haruaki Tamada and Kenichi Matumoto
    • 出版者
      IGI Global (to appea)r
    • 関連する報告書
      2008 研究成果報告書
  • [備考] 上記の発表論分は、すべて以下のURLより閲覧・取得可能である。

    • 関連する報告書
      2008 研究成果報告書
  • [備考] CS27 業績リスト

    • URL

      http://www27.cs.

    • 関連する報告書
      2008 研究成果報告書
  • [備考]

    • URL

      http://www27.cs.kobe-u.ac.jp/achieve/

    • 関連する報告書
      2008 研究成果報告書
  • [備考]

    • URL

      http://www27.cs.kobe-u.ac.jp/achieve/pman.cgi?MODE=list

    • 関連する報告書
      2008 実績報告書
  • [備考]

    • URL

      http://www27.cs.kobe-u.ac.jp/~masa-n/research/index.html

    • 関連する報告書
      2007 実績報告書
  • [産業財産権] ゲートウェイ装置およびその情報制御方法2007

    • 発明者名
      中村, 福岡, 林, 堀渕, 小澤, 木村
    • 権利者名
      中村, 福岡, 林, 堀渕, 小澤, 木村
    • 産業財産権番号
      2007-242399
    • 出願年月日
      2007-09-19
    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2006-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi