Masaaki Mori

Publication Activity (10 Years)

Years Active: 1984-2013
Publications (10 Years): 0

Top Topics

Estimation Algorithm

Digital Libraries

Communication Links

Top Venues

Publications

Weihua Sun, Naoki Shibata, Keiichi Yasumoto, Masaaki Mori
Estimation of overlay link quality from previously observed link qualities. CCNC (2013)
Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori
MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users. OPODIS (2005)
Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino
QoS Functional Testing for Multi-media Systems. FORTE (2003)
Masaaki Mori, Son T. Vuong
On finite covering of infinite spaces for protocol test selection. PSTV (1994)
Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
Automated Verification of Equivalence of Protocol Machines. PSTV (1989)
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Systems and Computers in Japan 20 (5) (1989)
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
Verification of progress property of algebraically specified communication protocols. Systems and Computers in Japan 18 (9) (1987)
Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
An Algebraic Specification of HDLC Procedures and Its Verification. IEEE Trans. Software Eng. 10 (6) (1984)