Masahide NAKAMURA


Design and Evaluation of Materialized View as a Service for Smart City Services with Large-Scale House Log
Shintaro YAMAMOTO Shinsuke MATSUMOTO Sachio SAIKI Masahide NAKAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7  pp. 1709-1718
Type of Manuscript:  Special Section PAPER (Special Section on Cloud and Services Computing)
Category: 
Keyword: 
large-scalehouse logmaterialized viewhigh-speed and efficient data accessMapReduceKVSHBase
 Summary | Full Text:PDF(1.1MB)

Modeling and Detecting Feature Interactions among Integrated Services of Home Network Systems
Hiroshi IGAKI Masahide NAKAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4  pp. 822-833
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
feature interactionhome network systemonline detectionintegrated services
 Summary | Full Text:PDF(673.8KB)

Exploiting Eye Movements for Evaluating Reviewer's Performance in Software Review
Hidetake UWANO Masahide NAKAMURA Akito MONDEN Ken-ichi MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/10/01
Vol. E90-A  No. 10  pp. 2290-2300
Type of Manuscript:  PAPER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
software reviewhuman factoreye movementexperimental evaluationsystem development
 Summary | Full Text:PDF(705.2KB)

Java Birthmarks--Detecting the Software Theft--
Haruaki TAMADA Masahide NAKAMURA Akito MONDEN Ken-ichi MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/09/01
Vol. E88-D  No. 9  pp. 2148-2158
Type of Manuscript:  PAPER
Category: Application Information Security
Keyword: 
copyright protectionsoftware protectionwatermarkbirthmark
 Summary | Full Text:PDF(752.3KB)

Linux IPv6 Stack Implementation Based on Serialized Data State Processing
Hideaki YOSHIFUJI Kazunori MIYAZAWA Masahide NAKAMURA Yuji SEKIYA Hiroshi ESAKI Jun MURAI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2004/03/01
Vol. E87-B  No. 3  pp. 429-436
Type of Manuscript:  Special Section PAPER (Special Section on Internet Technology IV)
Category: Implementation and Operation
Keyword: 
IPv6Linuxserialized data state processing
 Summary | Full Text:PDF(627.4KB)

Feature Interaction Detection by Bounded Model Checking
Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D  No. 12  pp. 2579-2587
Type of Manuscript:  Special Section PAPER (Special Issue on Dependable Computing)
Category: Dependable Communication
Keyword: 
bounded model checkingSATfeature interaction
 Summary | Full Text:PDF(590.3KB)

Exploiting Symmetric Relation for Efficient Feature Interaction Detection
Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10  pp. 1352-1363
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
feature interactionstelecommunication servicespermutation symmetrystate reduction
 Summary | Full Text:PDF(915.4KB)

Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
Yoshiaki KAKUDA Masahide NAKAMURA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1634-1645
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocol engineeringprotocol synthesisparallel execution of primitives
 Summary | Full Text:PDF(931.9KB)