Fumiaki SATO


Evaluation of Positioning Accuracy for the Pedestrian Navigation System
Sumio USUI Junichiro TSUJI Koji WAKIMOTO Satoshi TANAKA Junshiro KANDA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/07/01
Vol. E88-B  No. 7  pp. 2848-2855
Type of Manuscript:  Special Section PAPER (Special Section on Mobile Multimedia Communications)
Category: 
Keyword: 
pedestrian navigation systemGPSGISmobile phonepositioninglocation based services
 Summary | Full Text:PDF(1.6MB)

A Dynamic Delayed ACK Control Scheme and Its Evaluation on MobileIP Networks
Yuko ONOE Yukio ATSUMI Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2002/10/01
Vol. E85-B  No. 10  pp. 2117-2125
Type of Manuscript:  Special Section PAPER (Special Issue on Mobile Multimedia Communications)
Category: 
Keyword: 
mobile telecommunicationMobileIPTCP/IPmobile protocolsIP-based hand-over
 Summary | Full Text:PDF(1.1MB)

An Efficient TCP/IP Control Scheme for Next-Generation MobileIP Communication Networks
Yuko ONOE Yukio ATSUMI Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2001/04/01
Vol. E84-B  No. 4  pp. 863-872
Type of Manuscript:  Special Section PAPER (Special Issue on Mobile Multimedia Communications)
Category: 
Keyword: 
mobile communication networksTCP/IPmobile-IP
 Summary | Full Text:PDF(780.7KB)

Role-Based Autonomous and Collaborative Mechanism for Cooperative Behavior
Yoshihiko SAKASHITA Tetsuo IDEGUCHI Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/06/25
Vol. E83-D  No. 6  pp. 1255-1265
Type of Manuscript:  PAPER
Category: Artificial Intelligence, Cognitive Science
Keyword: 
groupwareCSCWcollaborationautonomous systemdistributed systems
 Summary | Full Text:PDF(2MB)

Protocol Verification Tool with Extended Petri Net and Horn Clause
Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1458-1467
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
communication networks and servicesprotocol verificationPetri netPrologHorn clause
 Summary | Full Text:PDF(765.1KB)

An Optimized Test Sequence Generation Method for Communication Systems--Improved SW Method--
Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10  pp. 1024-1031
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communication softwaretest methodfinite state machinecommunication protocolstest sequence generation
 Summary | Full Text:PDF(634.9KB)