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 things, posture sensing, smart chair, posture recognition, 
 Summary | Full Text:PDF
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: 
MANET, service replication, service availability, energy consumption, 
 Summary | Full Text:PDF
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: 
LOTOS, synchronous EFSMs, transformation, multi-rendezvous, implementation, 
 Summary | Full Text:PDF
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 protocols, multi-rendezvous, concurrent EFSMs, controller synthesis, synchronous sequential circuits, 
 Summary | Full Text:PDF
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: 
LOTOS, service definition, protocol specification, simulator, correctness, 
 Summary | Full Text:PDF