|
Vol.E75-B No.10
pp.998-1007
Special SectionPAPER
An Acyclic Expansion-Based Protocol Verification for Communications Software
Hironori SAITO, Yoshiaki KAKUDA, Toru HASEGAWA, Tohru KIKUNO, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1008-1014
Special SectionPAPER
Verification of Switching Software by Knowledge Processing Technology
Mitsuaki KAKEMIZU, Yasuo IWAMI, Yoshiharu SATO, Shimmi HATTORI, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1015-1023
Special SectionPAPER
PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO, Teruo HIGASHINO, Toshio MATSUURA, Kenichi TANIGUCHI, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1024-1031
Special SectionPAPER
An Optimized Test Sequence Generation Method for Communication Systems--Improved SW Method--
Fumiaki SATO, Tadanori MIZUNO, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1032-1042
Special SectionPAPER
A Method of Composing Communication Protocols with Priority Service
Masahiro HIGUCHI, Hiroyuki SEKI, Tadao KASAMI, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1043-1051
Special SectionPAPER
An Implementation Method of IN Functional Entities on Top of Distributed Operating System and Its Performance Evaluation Using Experimental System
Masahiko FUJINAGA, Toshihiko KATO, Kenji SUZUKI, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1052-1060
Special SectionPAPER
Functional Elements for Switching Software Based on Object-Oriented Paradigm with UPT as an Example
Fumito SATO, Motoo HOSHI, Yuji INOUE, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1061-1070
Special SectionPAPER
Application of Al Technology to the Telecommunications User Support Software
Hikaru YAGI, Masanobu FUJIOKA, Yasushi WAKAHARA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1071-1080
PAPER
Communication Networks and Service
Centralized Virtual Path Bandwidth Allocation Scheme for ATM Networks
Michael LOGOTHETIS, Shigeo SHIODA, |
|
Summary | Full Text:PDF | |
|
Vol.E75-B No.10
pp.1081-1089
PAPER
Communication Software
A Test Case Generation Method for Black Box Testing of Concurrent Programs
Noriyasu ARAKAWA, Terunao SONEOKA, |
|
Summary | Full Text:PDF | |
|
Current List: 40831 - 40840
|