IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Dependable Computing

Workshop Date : 2012-12-14 / Issue Date : 2012-12-07

DC2012-73
Mobile device prediction for location-based cloud service
Haibo Yan, Masato Kitakami (Chiba Univ.)
pp. 1 - 4

DC2012-74
Error Control for Loss-less Compressed Data by Using Inverted Index
Kohei Toyama, Masato Kitakami (Chiba Univ.)
pp. 5 - 9

DC2012-75
Fault Tolerance of an In-vehicle LAN by CAN Protocol under Severe Electro-magnetic Noise
Masahiko Negishi, Aromhack Saysanasongkham, Masayuki Arai, Mamoru Ohara, Satoshi Fukumoto (Tokyo Metropolitan Univ.)
pp. 11 - 15

DC2012-76
Development of Distributed Control System Using Flexible System Reconfiguration
Hiroshi Mochizuki, Yuta Takeda, Yujiro Tohyama (Nihon Univ.)
pp. 17 - 20

DC2012-77
A Test Generation Model for Over-testing Alleviation and Its Application to Testing Based on Fault Acceptability
Masaaki Sakurada, Hideyuki Ichihara, Tsuyoshi Iwagaki, Tomoo Inoue (HCU)
pp. 21 - 26

DC2012-78
Research on Formalization and Analysis of Automatic Train Protection and Block System
Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura (Nihon Univ.)
pp. 27 - 30

DC2012-79
Verification of Automatic Block System for Single Line Using SMT Solver
Natsuki Terada (RTRI)
pp. 31 - 36

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan