Shinichi HONIDEN


Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN
Soramichi AKIYAMA Takahiro HIROFUCHI Ryousei TAKANO Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/12/01
Vol. E99-D  No. 12  pp. 3024-3034
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Operating system
Keyword: 
live migrationvirtualizationcloud performance
 Summary | Full Text:PDF(1.7MB)

On Applicability of Formal Methods and Tools to Dependable Services
Fuyuki ISHIKAWA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2009/01/01
Vol. E92-B  No. 1  pp. 9-16
Type of Manuscript:  INVITED PAPER (Special Section on Networking Technologies for Dependable Networks)
Category: 
Keyword: 
dependabilitysoftware engineeringformal methods
 Summary | Full Text:PDF(198.4KB)

Improving Accuracy of Recommender System by Item Clustering
KhanhQuan TRUONG Fuyuki ISHIKAWA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/09/01
Vol. E90-D  No. 9  pp. 1363-1373
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
Recommender SystemCollaborative Filteringitem clustering
 Summary | Full Text:PDF(534.3KB)

Evaluation of a Multi Agent Framework for Open Distributed Systems
Nobukazu YOSHIOKA Takahiro KAWAMURA Akihiko OHSUGA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2396-2406
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agentACLmobile agentopen networkdistributed system
 Summary | Full Text:PDF(998.5KB)

Designing Multi-Agent Systems Based on Pairwise Agent Interactions
Takahiro KAWAMURA Sam JOSEPH Akihiko OHSUGA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/08/01
Vol. E84-D  No. 8  pp. 968-980
Type of Manuscript:  Special Section PAPER (Special Issue on Software Agent and Its Applications)
Category: 
Keyword: 
agentdesign paradigmperformance evaluation
 Summary | Full Text:PDF(1MB)

Autonomous Adaptation by Mobile Agent and Thesaurus
Fumihiro KUMENO Akihiko OHSUGA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 679-690
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
mobile agentmeta architectureautonomous adaptationprogram retrievalthesaurus
 Summary | Full Text:PDF(858.2KB)

Flage: A Programming Language for Adaptive Software
Fumihiro KUMENO Akihiko OHSUGA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/12/25
Vol. E81-D  No. 12  pp. 1394-1403
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: System
Keyword: 
programming languageconcurrent objectsdynamic adaptationmetalevel architecturefield
 Summary | Full Text:PDF(984.1KB)

A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems
Naoshi UCHIHIRA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11  pp. 1797-1808
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
high-level Petri netreactive and concurrent systemprogramming languagetask schedulingreal-time operating system
 Summary | Full Text:PDF(938.4KB)

An Analysis of Simulation between Petri Nets through Rewriting Logic
Yasuyuki TAHARA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1498-1503
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
concurrencyrewriting logiccategory theoryPetri netsimulation
 Summary | Full Text:PDF(397.7KB)

FOREWORD
Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10  pp. 1565-1566
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(133.7KB)

A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems
Naoshi UCHIHIRA Mikako ARAMI Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1335-1347
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
high level petri netcooperating discrete event systemconcurrent programdesign methodologyprogram synthesisprogram verificationtemporal logicprogramming environment
 Summary | Full Text:PDF(972.7KB)

Net-Oriented Analysis and Design
Shinichi HONIDEN Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1317-1325
Type of Manuscript:  INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
petri netsstate transition didgramdata flow diagramalgebraic specificationtemporal logicobject-oriented analysis and designCASE
 Summary | Full Text:PDF(709.8KB)

Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Naoshi UCHIHIRA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/12/25
Vol. E73-E  No. 12  pp. 2001-2010
Type of Manuscript:  Special Section PAPER (Special Issue on the 3rd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Petri Nets
Keyword: 
 Summary | Full Text:PDF(860.1KB)