IEICE Trans

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 delivery, reliable multicast, communication protocol, large-scale system,
	Summary \| Full Text:PDF

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 control, communication protocol, distributed system,
	Summary \| Full Text:PDF

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 protocol, responsiveness, verification, virtual system state, reachability analysis,
	Summary \| Full Text:PDF

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 testing, communication protocol, conformance testing, fault localization, test sequence,
	Summary \| Full Text:PDF

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: Internet, quality of service, traffic control, queueing network, multimedia network, communication protocol,
	Summary \| Full Text:PDF

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 software, communication protocol, FDT (Formal Description Technique), automatic protocol implementation, SDL,
	Summary \| Full Text:PDF

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 protocol, packet radio networks,
	Summary \| Full Text:PDF

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 specification, algebraic specification, communication protocol, translation,
	Summary \| Full Text:PDF

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 software, communication protocol, protocol verification, finite state machine, acyclic expansion algorithm, temporal logic,
	Summary \| Full Text:PDF

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 protocol, communicating sequential machines, safety property, verification, reachability analysis,
	Summary \| Full Text:PDF