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

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

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

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/20
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

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/20
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

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/20
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