IEICE Trans

Shinichi HONIDEN

Change Impact Analysis for Refinement-Based Formal Specification Shinnosuke SARUWATARI Fuyuki ISHIKAWA Tsutomu KOBAYASHI Shinichi HONIDEN
Publication: Publication Date: 2019/08/01 Vol. E102-D No. 8 pp. 1462-1477 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: formal method, formal specification, impact analysis, refinement, event-B, modification support,
	Summary \| Full Text:PDF

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 migration, virtualization, cloud performance,
	Summary \| Full Text:PDF

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: dependability, software engineering, formal methods,
	Summary \| Full Text:PDF

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 System, Collaborative Filtering, item clustering,
	Summary \| Full Text:PDF

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-agent, ACL, mobile agent, open network, distributed system,
	Summary \| Full Text:PDF

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: agent, design paradigm, performance evaluation,
	Summary \| Full Text:PDF

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 agent, meta architecture, autonomous adaptation, program retrieval, thesaurus,
	Summary \| Full Text:PDF

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 language, concurrent objects, dynamic adaptation, metalevel architecture, field,
	Summary \| Full Text:PDF

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 net, reactive and concurrent system, programming language, task scheduling, real-time operating system,
	Summary \| Full Text:PDF

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: concurrency, rewriting logic, category theory, Petri net, simulation,
	Summary \| Full Text:PDF

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

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 net, cooperating discrete event system, concurrent program, design methodology, program synthesis, program verification, temporal logic, programming environment,
	Summary \| Full Text:PDF

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 nets, state transition didgram, data flow diagram, algebraic specification, temporal logic, object-oriented analysis and design, CASE,
	Summary \| Full Text:PDF

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