Information and Systems-Software Science(Date:1995/09/28)

Presentation
表紙

,  

[Date]1995/9/28
[Paper #]
目次

,  

[Date]1995/9/28
[Paper #]
Error Control Protocols on AAL5 and Evaluation : FEC-SSCS

Kumiko KANAI,  Reto GRUETER,  Keiji TSUNODA,  Takeshi SAITO,  Hiroshi ESAKI,  

[Date]1995/9/28
[Paper #]SSE95-54,TN95-25,CS95-74
Performance Analysis of Fast Reservation Protocol with Generalized Bandwidth Reservation Method

Hideyuki SHIMONISHI,  Tetsuya TAKINE,  Masayuki MURATA,  Hideo MIYAHARA,  

[Date]1995/9/28
[Paper #]SSE95-55,IN95-26,CS95-75
A Proposal And Performance Evaluation of Back-pressure Control with 3 Threshold-level for ATM Switch

Mitsuru Wakasugi,  Tokuhiro Kitami,  

[Date]1995/9/28
[Paper #]SSE95-56,IN95-27,CS95-76
Analysis of ECN Bit Marking in A Buffer Shared Fast Packet Switch

Yantian Ren,  Makoto Aoki,  

[Date]1995/9/28
[Paper #]SSE95-57,IN95-28,CS95-77
A study on multiplexing characteristics of MPEG video sources considering picture coding type in ATM networks

Kazuhiro SHINAGAWA,  Chikara OHTA,  Yoshikuni ONOZATO,  

[Date]1995/9/28
[Paper #]SSE95-58,IN95-29,CS95-78
A Quality Control in the ATM Switching System

Toshio Soumiya,  Takeshi Kawasaki,  Miwako Nakashima,  Shiro Uryu,  Satoshi Kakuma,  Takashi Hatano,  

[Date]1995/9/28
[Paper #]SSE95-59,IN95-30,CS95-79
Multiple-Availability-Level ATM Network Architecture with VC Self-Healing Scheme

Eiji OKI,  Naoaki YAMANAKA,  

[Date]1995/9/28
[Paper #]SSE95-60,IN95-31,CS95-80
Self Detective Congestion Control Scheme for ABR Service in ATM Networks

Said MIRZA,  Kuninobu TANNO,  

[Date]1995/9/28
[Paper #]SSE95-61,IN95-32,CS95-81
A Method for Verification of the transition to an incorrect state

Eiji HARADA,  Yasurou KAWARASAKI,  Tadashi OHTA,  

[Date]1995/9/28
[Paper #]SSE95-62,IN95-33,CS95-82
A Flexible Method for Software Development of Communication Systems

Kentaro Go,  Norio Shiratori,  

[Date]1995/9/28
[Paper #]SSE95-63,IN95-34,CS95-83
A Study of Protocol Adjustment for Automated Generation of Communications Software

Yoshiki KONDO,  Akira TAKURA,  Tadashi OHTA,  

[Date]1995/9/28
[Paper #]SSE95-64,IN95-35,CS95-84
Changes in Function Requirement by Modification of Formal Specification

Nobuyuki USUI,  Kaoru TAKAHASHI,  Hiroaki KAMINAGA,  Norio SHIRATORI,  

[Date]1995/9/28
[Paper #]SSE95-65,IN95-36,CS95-85
An Extended Conversion Method of Procedual Description into Declarative Description for Telecommunication Service Specification

Ken Ojiri,  Shuhei Takimoto,  Hideki Tode,  Hiromasa Ikeda,  

[Date]1995/9/28
[Paper #]SSE95-66,IN95-37,CS95-86
A Flexible Design Support System for Requirement and Formal Specification

K.H. Song,  S. Fukuzawa,  K. Takahashi,  H. Kaminaga,  N. Shiratori,  

[Date]1995/9/28
[Paper #]SSE95-67,IN95-38,CS95-87
On Exhaustiveness of Reduced Reachability Analysis

Kenji Otomo,  Noriyasu Arakawa,  Yutaka Hirakawa,  

[Date]1995/9/28
[Paper #]SSE95-68,IN95-39,CS95-88
A Flexible Protocol Synthesis Method

Bhed Bahadur Bista,  Makoto Katsukura,  Kaoru Takahashi,  Hiroaki Kaminaga,  Norio Shiratori,  

[Date]1995/9/28
[Paper #]SSE95-69,IN95-40,CS95-89
[OTHERS]

,  

[Date]1995/9/28
[Paper #]