Keyword : communication protocol


Evaluation of Reliable Multicast Applications for Large-Scale Contents Delivery
Teruji SHIROSHITA Shingo KINOSHITA Takahiko NAGATA Tetsuo SANO Yukihiro NAKAMURA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2007/10/01
Vol. E90-B  No. 10 ; pp. 2738-2745
Type of Manuscript:  Special Section PAPER (Special Section on New Challenge for Internet Technology and its Architecture)
Category: 
Keyword: 
contents deliveryreliable multicastcommunication protocollarge-scale system
 Summary | Full Text:PDF(1.3MB)

Dynamic Communication Zone Control Method on Autonomous Decentralized Based Roadside Network Infrastructure
Masashi HIRAIWA Hiromitsu ASAKURA Tateki NARITA Tomoyuki YASHIRO Hiroshi SHIGENO Kenichi OKADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/07/01
Vol. E88-A  No. 7 ; pp. 1786-1799
Type of Manuscript:  Special Section PAPER (Special Section on Multi-dimensional Mobile Information Networks)
Category: Network
Keyword: 
autonomous decentralized system (ADS)intelligent transportation system (ITS)dynamic zone controlcommunication protocoldistributed system
 Summary | Full Text:PDF(2MB)

A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 596-604
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocolresponsivenessverificationvirtual system statereachability analysis
 Summary | Full Text:PDF(779.4KB)

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/07/25
Vol. E78-D  No. 7 ; pp. 802-810
Type of Manuscript:  Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
Category: 
Keyword: 
software testingcommunication protocolconformance testingfault localizationtest sequence
 Summary | Full Text:PDF(729KB)

QOS Controls and Service Models in the Internet
Takeshi NISHIDA Kunihiro TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1995/04/25
Vol. E78-B  No. 4 ; pp. 447-457
Type of Manuscript:  INVITED PAPER (Special Issue on Traffic and Quality Control for Communication Networks)
Category: 
Keyword: 
Internetquality of servicetraffic controlqueueing networkmultimedia networkcommunication protocol
 Summary | Full Text:PDF(1.1MB)

Process Scheduler and Compiler for SDL-Based Protocol Implementation Tool
Toru HASEGAWA Takashi TAKIZUKA Shingo NOMURA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1995/03/25
Vol. E78-B  No. 3 ; pp. 350-361
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
communication softwarecommunication protocolFDT (Formal Description Technique)automatic protocol implementationSDL
 Summary | Full Text:PDF(1MB)

The Coded Tone Sense Protocol for Multihop Spread Spectrum Packet Radio Networks
Kwok-Wah HUNG Tak-Shing YUM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/01/25
Vol. E77-B  No. 1 ; pp. 51-55
Type of Manuscript:  PAPER
Category: Radio Communication
Keyword: 
communication protocolpacket radio networks
 Summary | Full Text:PDF(375.7KB)

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/12/25
Vol. E76-D  No. 12 ; pp. 1479-1489
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
natural language specificationalgebraic specificationcommunication protocoltranslation
 Summary | Full Text:PDF(951.3KB)

An Acyclic Expansion-Based Protocol Verification for Communications Software
Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 998-1007
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communications softwarecommunication protocolprotocol verificationfinite state machineacyclic expansion algorithmtemporal logic
 Summary | Full Text:PDF(905.4KB)

A Method of Composing Communication Protocols with Priority Service
Masahiro HIGUCHI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1032-1042
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communication protocolcommunicating sequential machinessafety propertyverificationreachability analysis
 Summary | Full Text:PDF(878.3KB)