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: 
SOAmodel-based developmentcommunication diagramstate machinechoreography realization problem
 Summary | Full Text:PDF

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: 
SOAmodel-based developmentcommunication diagramstate machinechoreography realization problem
 Summary | Full Text:PDF

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 architecturesoft errorradiation testbehavioral synthesisstate machine
 Summary | Full Text:PDF

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: 
IDSVoIPSIPRTPprotocol specificationstate machineOPNET
 Summary | Full Text:PDF

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: 
workflowdynamic changestate machine
 Summary | Full Text:PDF

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 machineconstraintinheritancerefinement and expansion algorithm
 Summary | Full Text:PDF