Publication: IEICE TRANSACTIONS on Communications Publication Date: 2016/07/01 Vol. E99-BNo. 7pp. 1408-1415 Type of Manuscript: PAPER Category: Fundamental Theories for Communications Keyword: software-defined networking, pACSR, formal modeling, formal verification,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2002/01/01 Vol. E85-BNo. 1pp. 173-182 Type of Manuscript: Special Section PAPER (Special Issue on Internet Technology II -- Traffic Control and Performance Evaluation in the Internet) Category: Keyword: IP telephony, frame grouping, delay prediction, bandwidth reduction,