Publication: IEICE TRANSACTIONS on Communications Publication Date: 2007/10/01 Vol. E90-BNo. 10 ;
pp. 2738-2745 Type of Manuscript: Special Section PAPER (Special Section on New Challenge for Internet Technology and its Architecture) Category: Keyword: contents delivery, reliable multicast, communication protocol, large-scale system,
A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol Shin'ichi NAGANOYoshiaki KAKUDATohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4 ;
pp. 596-604 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: communication protocol, responsiveness, verification, virtual system state, reachability analysis,
The Coded Tone Sense Protocol for Multihop Spread Spectrum Packet Radio Networks Kwok-Wah HUNGTak-Shing YUM
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1994/01/25 Vol. E77-BNo. 1 ;
pp. 51-55 Type of Manuscript: PAPER Category: Radio Communication Keyword: communication protocol, packet radio networks,