Keiichi YASUMOTO


Design and Implementation of Sensor-Embedded Chair for Continuous Sitting Posture Recognition
Teruhiro MIZUMOTO Yasuhiro OTODA Chihiro NAKAJIMA Mitsuhiro KOHANA Motohiro UENISHI Keiichi YASUMOTO Yutaka ARAKAWA 
Publication:   
Publication Date: 2020/05/01
Vol. E103-D  No. 5  pp. 1067-1077
Type of Manuscript:  PAPER
Category: Office Information Systems, e-Business Modeling
Keyword: 
internet of thingsposture sensingsmart chairposture recognition
 Summary | Full Text:PDF(1.7MB)

HDAR: Highly Distributed Adaptive Service Replication for MANETs
Asaad AHMED Keiichi YASUMOTO Minoru ITO Naoki SHIBATA Tomoya KITANI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/01/01
Vol. E94-D  No. 1  pp. 91-103
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
MANETservice replicationservice availabilityenergy consumption
 Summary | Full Text:PDF(947.1KB)

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A  No. 3  pp. 487-494
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
LOTOSsynchronous EFSMstransformationmulti-rendezvousimplementation
 Summary | Full Text:PDF(406.3KB)

A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit
Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 566-575
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocolsmulti-rendezvousconcurrent EFSMscontroller synthesissynchronous sequential circuits
 Summary | Full Text:PDF(925.6KB)

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10  pp. 1015-1023
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF(843.8KB)