Keyword : state machine

Realizability of Choreography Given by Two Scenarios
Toshiki KINOSHITA Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2 ; pp. 345-356
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
SOA, model-based development, communication diagram, state machine, choreography realization problem, 
 Summary | Full Text:PDF(1.3MB)
Choreography Realization by Re-Constructible Decomposition of Acyclic Relations
Toshiyuki MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6 ; pp. 1420-1427
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
SOA, model-based development, communication diagram, state machine, choreography realization problem, 
 Summary | Full Text:PDF(1MB)
Reliability-Configurable Mixed-Grained Reconfigurable Array Supporting C-Based Design and Its Irradiation Testing
Hiroaki KONOURA Dawood ALNAJJAR Yukio MITSUYAMA Hajime SHIMADA Kazutoshi KOBAYASHI Hiroyuki KANBARA Hiroyuki OCHI Takashi IMAGAWA Kazutoshi WAKABAYASHI Masanori HASHIMOTO Takao ONOYE Hidetoshi ONODERA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/12/01
Vol. E97-A  No. 12 ; pp. 2518-2529
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: High-Level Synthesis and System-Level Design
Keyword: 
reconfigurable architecture, soft error, radiation test, behavioral synthesis, state machine, 
 Summary | Full Text:PDF(3.8MB)
A Protocol Specification-Based Intrusion Detection System for VoIP and Its Evaluation
Thyda PHIT Koki ABE 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2008/12/01
Vol. E91-B  No. 12 ; pp. 3956-3965
Type of Manuscript:  PAPER
Category: Internet
Keyword: 
IDS, VoIP, SIP, RTP, protocol specification, state machine, OPNET, 
 Summary | Full Text:PDF(651.1KB)
Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets
Shingo YAMAGUCHI Katsuaki MIYAUCHI Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/06/01
Vol. E89-A  No. 6 ; pp. 1701-1704
Type of Manuscript:  Special Section LETTER (Special Section on Papers Selected from 2005 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2005))
Category: 
Keyword: 
workflow, dynamic change, state machine, 
 Summary | Full Text:PDF(166.7KB)
State Machine Specification with Reusability
Goichi ITABASHI Kaoru TAKAHASHI Yasushi KATO Takuo SUGANUMA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2885-2894
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
state machine, constraint, inheritance, refinement and expansion algorithm, 
 Summary | Full Text:PDF(366.7KB)