Fri, Jul 30 PM 13:15 - 16:45 |
(1) |
13:15-13:40 |
On Bivariate Software Reliability Modeling with Change-Point |
Shinji Inoue, Keisuke Fukuma, Shigeru Yamada (Tottori Univ.) |
(2) |
13:40-14:05 |
Dynamic Fault Tree Analysis by using Cut Sequence Sets |
Taijirou Yoneda, Tetsushi Yuge, Nobuyuki Tamura, Shigeru Yanagi (NDA) |
(3) |
14:05-14:30 |
Stochastic Models for Optimal Garbage Collections Policies |
Xufeng Zhao (Aichi Inst. of Tech.), Syouji Nakamura (Kinjo Gakuin Univ.), Toshio Nakagawa (Aichi Inst. of Tech.) |
(4) |
14:30-14:55 |
Reliability Modeling of Service Systems Considering Failures on Service Carriers etc. |
Akihiko Masuda (Teikyo Univ. of Sci.) |
|
14:55-15:05 |
Break ( 10 min. ) |
(5) |
15:05-15:30 |
A Note on Service Availability Measurement for Hardware/Software System |
Koichi Tokuno, Shigeru Yamada (Tottori Univ.) |
(6) |
15:30-15:55 |
Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failure |
Akikazu Izumi, Tadashi Dohi (Hiroshima Univ.), Naoto Kaio (Shudo Univ) |
(7) |
15:55-16:20 |
An Efficient Algorithm for the Partial Group of Pareto-Solutions at a Multi-Objective Network |
Tomoaki Akiba (Yamagata Coll. of Ind & Tech.), Liu Danqin, Hisashi Yamamoto (Tokyo Metro Univ.) |
(8) |
16:20-16:45 |
The Study on Optimal Arrangements in a Multi-state Consecutive-k-out-of-n:F system |
Tomonori Komuro, Hisashi Yamamoto (Tokyo Metro Univ.), Tomoaki Akiba (Yamagata Coll. of Ind & Tech.), Hideki Nagatsuka (Tokyo Metro Univ.) |