研究

研究テーマ

⇒ 研究室のページへ

• サービス指向アーキテクチャ(SOA)/Webサービス
• ホームネットワークシステム
• サービス検証・テスト，サービス競合問題

以下古いコンテンツです．

• サービス競合問題
• インターネット電話におけるサービス設計
• 通信サービス、プロトコルの検証
• Webサービス

発表論文

著書

1. Masahide Nakamura and Stephan Reiff-Marganiec, Feature Interactions in Software and Communication Systems X, IOS Press, 2009, ISBN-978-1-60750-014-8.
2. Masahide Nakamura, Hiroshi Igaki, Akihiro Tanaka, Haruaki Tamada, and Ken-ichi Matsumoto, Service-Oriented Architecture for Migrating Legacy Home Appliances to Home Network System - Principle and Applications - , Chapter X, Advances in Web Services Research (AWSR) Book Series, IGI Global, (to appear).

論文誌

• Yoshiaki Kakuda, Masahide Nakamura and Tohru Kikuno, ``Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives,'' IEICE Trans. Fundamentals, Vol.E77-A, No.10, pp.1634-1645, 1994
• Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``On constructing communication protocols from component-based service specifications,'' Journal of Computer Communications, Vol.19, No.14, pp.1200-1215, 1996.
• Masahide Nakamura and Tohru Kikuno, ``A new approach in feature interaction testing,'' INTEGRATION, the VLSI journal, Vol.26, pp.211-223, 1998.
• Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, and Kitsutaro Amano, ``A protocol synthesis method for fault-tolerant multipath routing,'' Information and Software Technology, Vol.41, No.11-12, pp.745-754, 1999.
• Masahide Nakamura and Tohru Kikuno, ``Exploiting symmetric relation for efficient feature interaction detection,'' IEICE Trans. on Information and Systems, Vol.E82-D, No.10, pp.1352-1363, 1999.
• Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Feature Interaction Detection by Bounded Model Checking,'' IEICE Transactions on Information and Systems, Vol.E86-D, No.12, pp.2579-2587, 2003.
• 阪井誠, 中道上, 島和之, 中村匡秀, 松本健一, ``WebTracer:視線を利用したWebユーザビリティ評価環境,'' 情報処理学会論文誌, Vol.44, No.11, pp.2575-2586, 2003.
• Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, and Tohru Kikuno, ``On Detecting Feature Interactions in Programmable Service Environment of Internet Telephony,'' Journal of Computer Networks, Elsevier, Vol. 45, Issue 5, pp.605-624, 2004.
• 神崎雄一郎, 門田暁人, 中村匡秀, 松本健一, ``命令のカムフラージュによるソフトウェア保護方法,'' 電子情報通信学会論文誌, Vol.J87-A, No.6, pp.755-767, 2004.
• 井垣宏, 中村匡秀, 玉田春昭, 松本健一, ``サービス指向アーキテクチャを用いたネットワーク家電連携サービスの開発,'' 情報処理学会論文誌, Vol.46, No.2, pp.314-326, 2005.
• 桝田秀夫, 小川剛史, 齊藤明紀, 中村匡秀, 近藤弘一, 中西通雄, ``教育用計算機システムにおけるプリンタシステムに求められる要求とその実装,'' 情報処理学会論文誌, Vol. 46, No. 4, pp. 930-939, 2005.
• Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, ``Design and Evaluation of Feature Interaction Filtering with Use Case Maps,'' NECTEC Technical Journal (採録決定)
• パッタラ・リーラープルット, 中村匡秀, 松本健一, 菊野亨, ``Use Case Maps を用いたサービス競合可能シナリオの導出と実験的評価,'' 電子情報通信学会論文誌, Vol.J88-B, No.7, pp. 1237-1247, 2005.
• Yuichiro Kanzaki, Hiroshi Igaki, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto, ``Quantitative Analysis of Information Leakage in Security-Sensitive Software Process,'' IPSJ Journal, Vol.46, No.8, pp.2129-2141, Aug. 2005.
• Haruaki Tamada, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto, ``Java Birthmarks --Detecting the Software Theft--,'' IEICE Transactions on Information and Systems, Vol. E88-D, No.9, pp. 2148-2158, Sep. 2005.
• Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, ``A Software Protection Method Based on Instruction Camouflage,'' Electronics and Communications in Japan, Part 3, Vol.89, No.1, pp.47-59, Jan. 2006.
• 岡本圭司, 玉田春昭, 中村匡秀, 門田暁人, 松本健一, ``API呼び出しを用いた動的バースマーク,'' 電子情報通信学会論文誌 D-I, Vol.J89-D, No.8, pp.1751--1763, Aug. 2006.
• Hidetake Uwano, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, ``Exploiting Eye Movements for Evaluating Reviewer’s Performance in Software Review,'' IEICE Trans. Fundamentals, Vol.E90-A, No.10, pp.317--328, Oct. 2007.
• 玉田春昭, 中村匡秀, 門田暁人, 松本健一, ``API ライブラリ名隠蔽のための動的名前解決を用いた名前難読化,'' 電子情報通信学会論文誌D, (to appear).
• Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, Ken-ichi Matsumoto, ``Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services,'' International Journal of Web Services Research, Vol.5, No.1, pp.82--98, January 2008.
• Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto, ``Validating Safety for Integrated Services of Home Network System Using JML,'' IPSJ Journal, vol.49, no.6, pp.1751-1762, June 2008.
• Hiroki Yamauchi, Akito Monden, Masahide Nakamura, Haruaki Tamada, Yuichiro Kanzaki, and Ken-ichi Matsumoto, ``A Goal-Oriented Approach to Software Obfuscation,'' International Journal of Computer Science and Network Security, vol.8, no.9, pp.59-71, September 2008.
• Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, ``Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model,'' International Journal of Smart Home, vol.3, no.1, pp.67-80, January 2009.
• Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, ``Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System,'' International Journal of Smart Home, vol.3, no.2, pp.71-88, April 2009.
• Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, ``Using Formal Methods to Increase Confidence in a Home Network System Implementation: a Case Study,'' Innovations in Systems and Software Engineering (ISSE Journal), Springer, vol.5, no.3, pp.181-196, September 2009.
• 中村 匡秀, 関本 純一, 井垣 宏, 松本 健一, ``家庭のエンドユーザを対象としたホームネットワーク機器連携サービス作成支援システム,'' ヒューマンインターフェース学会論文誌　「ユニバーサルデザイン」特集号, vol.11, no.4, pp.369-379, November 2009.
• Hiroshi Igaki and Masahide Nakamura, ``Modeling and Detecting Feature Interactions among Integrated Services of Home Network Systems,'' IEICE Transactions on Information and Systems, Vol.E93-D, no.4, pp.822-833, April 2010.
• 神崎 雄一郎, 門田 暁人, 中村 匡秀, 松本 健一, ``ソースコードレベルにおけるプログラムのカムフラー ジュ,'' コンピュータソフトウェア, vol.28, no.1, pp.1_300-1_305, January 2011.
• Masahide Nakamura, Hiroshi Igaki, Takahiro Kimura, and Ken-ichi Matsumoto, ``Identifying Services in Procedural Programs for Migrating Legacy System to Service Oriented Architecture,'' International Journal of Information Systems in the Service Sector (IJISSS), vol.4, no.2, August 2011.

国際会議

• Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``Protocol synthesis from acyclic formed service specifications,'' Proc. of Int'l. Conf. on Information Networking (ICOIN'94), pp.177-182, Dec. 1994.
• Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``An integration-oriented approach to designing communication protocols from component-based service specifications,'' Proc. of Int'l. Conf. on Computer Communication (INFOCOM'96), pp.1157-1164, Mar. 1996.
• Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``Analyzing non-determinism in telecommunication services using P-invariant of Petri net model,'' Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pp.1253-1260, Apr. 1997.
• Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``Petri net based detection method for non-deterministic feature interactions and its experimental evaluation,'' Proc. of Fourth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'97), pp.138-152, Jun. 1997.
• Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``A synthesis method for fault-tolerant and flexible multipath routing protocols,'' Proc. of Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'97), pp.96-105 Sep.1997.
• Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno, ``Feature interaction detection using permutation symmetry,'' Proc. of Fifth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'98), pp.187-201, Sep. 1998.
• Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine and Luigi Logrippo, ``Feature interaction filtering with Use Case Maps at requrements stage,'' Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pp.163-178, May. 2000.
• Masahide Nakamura, Tianbao Ding, Jacques Sincennes, Xiaotong Lu and Luigi Logrippo, ``Second feature interction contest - Contest report", Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pp.314-317, May 2000.
• Masahide Nakamura, Michio Nakanishi and Akira Harada, ``Analysis of grouping strategy for presentation exercise in computer literacy course,'' Int'l Conf. on Information Technology Based Higher Education and Training (ITHET'01), CDROM, Jul. 2001.
• Hideo Masuda, Michio Nakanishi, Masahide Nakamura and Mio Suzuki, ``Implementation and evaluation of authorized access LAN sockets using PPPoE,'' Int'l Symposium on Application and the Internet (SAINT2002), pp.20-23, Mar. 2002.
• Masahide Nakamura, Pattara Leelaprute and Tohru Kikuno, ``Deriving interaction-prone scenarios in feature interaction filtering with Use Case Maps,'' Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS2002), pp.237-244, Jan. 2002.
• Hideo Masuda, Masahide Nakamura, Akinori Saitoh, Koichi Kondo, Tomonori Kawazoe and Michio Nakanishi, ``Requirements and implementation of printing subsystem in educational computer system,'' Pan-Yellow-Sea International Workshop on Information Technologies for Network Era (PYIWIT’02), pp.251-256, Mar. 2002.
• Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura and Tohru Kikuno, ``Detecting feature interactions in telecommunication systems by symbolic model checking,'' 16th International Conference on Information Networking (ICOIN-16), pp.8B2.1-2.11, Jan. 2002.
• Tatsuhiro Tsuchiya, Masahide Nakamura and Tohru Kikuno, ``Symbolic approaches to feature interaction detection,'' Proc. of IEEE Conference on Dependable Systems and Networks (ICDSN-2002), pp.B46-47, Jun. 2002.
• Pattara Leelaprute, Masahide Nakamura and Tohru Kikuno, ``Characterizing semantic warnings of service description in Call Processing Language on Internet telephony,'' International Technical Conference On Circuits/Systems, Computers and Communications (ITC-CSCC2002), Vol. 1, pp. 556-559, Jul. 2002.
• Pattara Leelaprute, Masahide Nakamura and Tohru Kikuno, ``Detecting semantic ambiguity in service description of Internet telephony,'' Proc. of the Sixth National Computer Science and Engineering Conference (NCSEC2002), pp.57-62, Oct. 2002.
• Noboru Nakamichi, Makoto Sakai, Jian Hu, Kazuyuki Shima, Masahide Nakamura, ``Development and evaluation of a usability evaluation tool: WebTracer,'' Proc. International Symposium on Empirical Software Engineering (ISESE2002), Vol.2, pp.27-28, Nara, Japan, Oct. 2002.
• Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno , ``Detecting feature interactions in telecommunication services with a SAT solver ,'' Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02) , pp.131-134, Dec. 2002.
• Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto and Tohru Kikuno, ``Semantic warnings and feature interaction in Call Processing Language on Internet telephony,'' Proc. of IEEE 2003 International Symposium on Applications and the Internet (SAINT2003), pp.283-290, Jan. 2003.
• Makoto Sakai, Noboru Nakamichi, Jian Hu, Kazuyuki Shima, and Masahide Nakamura, ``Webtracer: A New Integrated Environment for Web Usability Testing,'' Proc. of 10th International Conference on Human - Computer Interaction (HCI2003), Adjunct Proceeding, pp.289-290, June 2003. (Crete, Greece)
• Noboru Nakamichi, Makoto Sakai, Jian Hu, Kazuyuki Shima, Masahide Nakamura, ``WebTracer: Evaluating web usability with browsing history and eye movement,'' Proc. of 10th International Conference on Human - Computer Interaction (HCI2003), Vol.1, pp.813-817, Jun. 2003.
• Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting feature interactions in telecommunication services by bounded model checking,'' Proc. of The 2003 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2003), Vol.3, pp.1807-1810, Jul. 2003.
• Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto and Tohru Kikuno, ``Detecting script-to-script interactions in call processing language,'' Proc. of Seventh Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'03), pp.215-230, Jul. 2003.
• Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken'ichi Matsumoto, Yuichiro Kanzaki, Hirotsugu Satoh, ``Queue-based cost evaluation for mental simulation process in program comprehension,'' Proc. of 9th International Software Metrics Symposium (METRICS2003), pp. 351-360, Sep. 2003.
• Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, Ken'ichi Matsumoto, ``Exploiting self-modification mechanism for program protection,'' Proc. of the 27th Annual International Computer Application and Software Conference (COMPSAC2003), pp.170-179, Nov. 2003.
• Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto and Tohru Kikuno, ``Evaluating semantic warnings in VoIP programmable services with open source environment,'' Proc. of the 10th Asia Pacific Software Engineering Conference (APSEC2003), pp.552-561, Dec. 2003.
• Haruaki Tamada, Masahide Nakamura, Akito Monden, and Ken-ichi Matsumoto, ``Design and evaluation of birthmarks for detecting theft of Java programs,'' Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2004), pp.569-574, Feb. 2004.
• Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto and Tohru Kikuno, ``Defining semantic guideline in XML-based programmable service environment,'' Proc. of the 10th Intetnational Symposium on Pacific Rim Dependable Computing (PRDC2004), Fast Abstracts, pp.15-16, Mar. 2004.
• Hiroshi Igaki, Masahide Nakamura and Ken-ichi Matsumoto, ``Design and evaluation of the home network system using the service oriented architecture,'' Proc. of International Conference on E-business and Telecommunication Networks (ICETE2004), Vol.1, pp.62-69, Aug. 2004.
• Masahide Nakamura, Hiroshi Igaki, Haruaki Tamada and Ken-ichi Matsumoto, ``Implementing integrated services of networked home appliances using service oriented architecture,'' Proc. of 2nd International Conference on Service Oriented Computing (ICSOC2004), pp.269-278, Nov. 2004.
• Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto, ``Dynamic Software Birthmarks to Detect the Theft of Windows Application,'' International Symposium on Future Software Technology 2004 (ISFST 2004), CD-ROM, Oct. 2004.
• Yuichiro Kanzaki, Hiroshi Igaki, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto, ``Characterizing Dynamics of Information Leakage in Security-Sensitive Software Process,'' Proc. of Australasian Information Security Workshop (AISW 2005), Vol. 44, pp. 145-151, Jan. 2005.
• Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto and Tohru Kikuno, ``Definition and Detection of Semantic Warnings for VoiceXML,'' Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2005), pp.267-275, Feb. 2005.
• Masahide Nakamura, Hiroshi Igaki, Ken-ichi Matsumoto, `` Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach-,'' Proc. of Int'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05), pp.236-251, Jun. 2005.
• Takahiro Kimura, Haruaki Tamada, Hiroshi Igaki, Masahide Nakamura and Ken-ichi Matsumoto, ``A Visual Framework for Monitoring and Controlling Distributed Service Components,'' Proc. of 1st Korea-Japan Joint Workshop on Ubiquitous Computing and Networking Systems (ubiCNS 2005), pp.245-250, Jun. 2005.
• Hiroshi Igaki, Masahide Nakamura and Ken-ichi Matsumoto, ``A Service-Oriented Framework for Networked Appliances to Achieve Appliance Interoperability and Evolution in Home Network System,'' Proc. of International Workshop on Principles of Software Evolution (IWPSE 2005), pp. 61-64, Sep. 2005.
• Pattara Leelaprute, Masahide Nakamura, Tatsuhiro Tsuchiya, Ken-ichi Matsumoto and Tohru Kikuno, ``Describing and Verifying Integrated Services of Home Network Systems,'' Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 549-548, Dec. 2005.
• Hiroki Yamauchi, Yuichiro Kanzaki, Akito Monden, Masahide Nakamura and Ken-ichi Matsumoto, ``Software Obfuscation from Crackers' Viewpoint,'' Proc. of the IASTED International Conference on Advances in Computer Science and Technology (IASTED-ACST 2006), pp.286-291, Jan. 2006.
• Hidetake Uwano, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto, ``Analyzing Individual Performance of Source Code Review Using Reviewers' Eye Movement,'' Proc. of Eye Tracking Research & Applications Symposium (ETRA 2006), pp.133-140, Mar. 2006.
• Takafumi Masatsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, ``Automatically Verifying Integrated Services in Home Network Systems,'' In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), Jul. 2006.
• Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, Ken-ichi Matsumoto, ``Adapting Legacy Home Appliances to Home Network Systems Using Web Services,'' Proc. of Int'l Conf. on Web Services (ICWS 2006), pp.849-858, Sep. 2006.
• Kohei Mitsui, Hiroshi Igaki, Kentaro Takemura, Masahide Nakamura, and Ken-ichi Matsumoto, ``Exploiting Eye Gaze Information for Operating,'' Proc. of 2006 International Symposium on Ubiquitous Computing Systems (UCS2006), Springer-Verlag, LNCS 4239, pp.13-27, Oct. 2006.
• Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, and Mikio Aoyama, ``Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems'', Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006), pp.45-52, Dec. 2006.
• Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, ``Characterizing Safety of Integrated Services in Home Network System,'' Proc. of 5th International Conference On Smart homes and health Telematics (ICOST2007), LNCS 4541, pp.130-140, Jul. 2007.
• Lydie du Bousquet, Masahide Nakamura, Ben Yan and Hiroshi Igaki, ``Using Formal Methods to Increase Confidence in One Home Network System Implementation --- Case study'', Proc. of the ISOLA workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), Dec. 2007.
• Haruaki Tamada, Masahide Nakamura, Akito Monden and Ken-ichi Matsumoto, ``Introducing Dynamic Name Resolution Mechanism for Obfuscating System-Defined Names in Programs,'' Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008), (to appear), Feb. 2008.
• Yoji Ohnishi, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, ``A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture,'' Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008), (to appear), Feb. 2008.
• Naohiro Yuasa, Kohei Mitsui, Hiroki Sakakibara, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, ``Operating Networked Appliances Using Gaze Information and Voice Recognition,'' Proc. of the IASTED International Conference on Human Computer Interaction (IASTED-HCI 2008), pp.107-112, March 2008. (Innsbruck, Austria)
• Masateru Tsunoda, Kohei Mitsui, Kyohei Fushida, Yasutaka Kamei, Masahide Nakamura, Keita Goto, and Ken-ichi Matsumoto, ``An Authentication Method Combining Spatiotemporal Information and Actions,'' Proc. of the 4th International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2008), pp.41-49, June 2008. (Tokyo, Japan)
• Masahide Nakamura, Yusuke Fukuoka, Hiroshi Igaki, and Ken-ichi Matsumoto, ``Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding,'' IEEE International Conference on Services Computing (SCC 2008), pp.275-282, July 2008. (Honolulu, Hawaii)
• Yuichiro Kanzaki, Akito Monden, Masahide Nakamura, and Ken-ichi Matsumoto, ``Program Camouflage: a Systematic Instruction Hiding Method for Protecting Secrets,'' Proc. of World Congress on Science, Engineering and Technology, vol.33, pp.557-563, September 2008.
• Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, ``Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model,'' Proc. of the Third International Symposium on Smart Home（SH08) , vol.2, pp.428-436, December 2008. (Hainan, China)
• Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura, and Kousuke Ikegami, ``Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System,'' Proc. of 10th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI2009), pp.191-206, June 2009. (Lisbon, Portugal)
• Hiroshi Igaki, Hiroyuki Sakamoto, and Masahide Nakamura, ``RSS Conversion Service for Integrating Web Information Resources and Home Network System,'' Proc. of International Conference on e-Business, July 2009. (Milan, Italy)
• Masahide Nakamura, Hiroshi Igaki, Takahiro Kimura, and Ken-ichi Matsumoto, ``Extracting Service Candidates from Procedural Programs Based on Process Dependency Analysis,'' Proc. of IEEE Asia-Pacific Services Computing Conference (APSCC 2009), pp.484-491, December 2009. (Biopolis, Singapore)
• Takenori Okamura, Masahide Nakamura, and Hiroshi Igaki, ``Finding Optimal Energy-Saving Operations in Home Network System Based on Effects between Appliances and Environment,'' Proc. of 8th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT2010), (Kuching, Malaysia).
• Hiroshi Igaki, Hideharu Seto, Masayuki Fukuda, and Masahide Nakamura, ``Mashing Up Multiple Logs in Home Network System for Promoting Energy-Saving Behavior,'' Proc. of 8th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT2010), p.USB, (Kuching, Malaysia).
• Shinsuke Matsumoto, Yasutaka Kamei, Akito Monden, Ken-ichi Matsumoto, and Masahide Nakamura, ``An Analysis of Developer Metrics for Fault Prediction,'' In Proc. 6th International Conference on Predictive Models in Software Engineering (PROMISE2010), p.USB, September 2010. (Timisoara, Romania)
• Kousuke Ikegami, Shinsuke Matsumoto, and Masahide Nakamura, ``New Definition of Environment Feature Interactions in Home Network System,'' In Workshop on Dependability of Network Software Applications 2010 (DNSA 2010), November 2010. (Hiroshima, Japan)
• Akira Shimojo, Saori Kamada, Shinsuke Matsumoto, and Masahide Nakamura, ``On Integrating Heterogeneous Lifelog Services,'' In The 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010) , pp.261-268, November 2010. (Paris, France)
• Koichi Egami, Shinsuke Matsumoto, and Masahide Nakamura, ``Ubiquitous Cloud: Managing Service Resources for Adaptive Ubiquitous Computing,'' In 1st IEEE PerCom Workshop on Pervasive Communities and Service Clouds (PerCoSC2011), pp.449-454, March 2011. (Seattle, USA)
• Masahide Nakamura, Shuhei Matsuo, Shinsuke Matsumoto, Hiroyuki Sakamoto, and Hiroshi Igaki, ``Application Framework for Efficient Development of Sensor as a Service for Home Network System,'' In the 8th IEEE 2011 International Conference on Services Computing (SCC 2011), pp.576-583, July 2011. (Washington D.C.)

解説など

• 中村匡秀, 菊野 亨, ``通信サービスにおけるフィーチャーインタラクション検出へのペトリネットの応用,'' システム/制御/情報, システム制御学会, 45巻, 第8号, pp.451-460, 2001．
• 中村 匡秀, ``スマートハウスにおける家庭内ネットワークシステム,'' KEC 情報, no.216, pp.32-40, January 2011.

※全ての業績については，下記をご覧ください．

• 業績リスト [PDFバージョン]
• 業績リスト [HTMLバージョン]

受賞

• 第13回電気通信普及財団賞テレコムシステム技術学生賞　1997年4月
• 国際会議 FIW'97最優秀論文賞 1997年4月
• 国際会議 ICETE2004 最優秀論文賞 2004年8月
• 国際会議 ICFI'05 最優秀論文賞 2005年6月

学会活動

• 国際会議 FIW98 Program Comittee Member
• 国際会議 FIW2000 Program Comittee Member
• 国際会議 SRDS2002 Registration Chair
• 国際会議 FIW2003 Program Comittee Member
• 国際会議 Profes2004 Registration Chair
• 国際会議 ICFI '05 Program Comittee Member
• 国際会議 ICOST2007 Local Arrangement Co-Chair
• 国際会議 ICFI ' 07 Program Comittee Member
• 国際会議 ICFI ' 09 General Co-Chair
• 国際会議 IWSM/MENSURA 2011 Registiration Chair
• 電子情報通信学会サービスコンピューティング時限研究専門委員会 専門委員 (2009.4〜)
• 電子情報通信学会情報ネットワーク研究会専門委員 (2009.4〜)
• 電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会専門委員 (2010.4〜)

招待講演など

1. 中村匡秀, ``ＩＴ時代における情報教育のあり方とは〜学びの可能性を探る〜,'' ＩＴ教育フォーラム21 in 京都, 2002年8月, [関連資料]
2. 中村匡秀, ``教師に求められる情報リテラシ,'' ＩＴ教育フォーラム21 in 名古屋, 2002年12月, [関連資料]

<< 戻る

masa-n [at] cs.kobe-u.ac.jp
(C) Masahide Nakamura, Kobe University