Information and Systems-Dependable Computing(Date:2012/12/07)

Presentation
表紙

,  

[Date]2012/12/7
[Paper #]
目次

,  

[Date]2012/12/7
[Paper #]
Mobile device prediction for location-based cloud service

Haibo Yan,  Masato Kitakami,  

[Date]2012/12/7
[Paper #]DC2012-73
Error Control for Loss-less Compressed Data by Using Inverted Index

Kohei TOYAMA,  Masato KITAKAMI,  

[Date]2012/12/7
[Paper #]DC2012-74
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,  

[Date]2012/12/7
[Paper #]DC2012-75
Development of Distributed Control System Using Flexible System Reconfiguration

Hiroshi MOCHIZUKI,  Yuta TAKEDA,  Yujiro TOHYAMA,  

[Date]2012/12/7
[Paper #]DC2012-76
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,  

[Date]2012/12/7
[Paper #]DC2012-77
Research on Formalization and Analysis of Automatic Train Protection and Block System

Guo Xie,  Hiroshi Mochiizuki,  Sei Takahashi,  Hideo Nakamura,  

[Date]2012/12/7
[Paper #]DC2012-78
Verification of Automatic Block System for Single Line Using SMT Solver

Natsuki TERADA,  

[Date]2012/12/7
[Paper #]DC2012-79
複写される方へ

,  

[Date]2012/12/7
[Paper #]
Notice for photocopying

,  

[Date]2012/12/7
[Paper #]
奥付

,  

[Date]2012/12/7
[Paper #]
裏表紙

,  

[Date]2012/12/7
[Paper #]