Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC, SS |
2016-10-27 11:00 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
ZDD-based test case generation method for high strength combinatorial interaction testing Teru Ohashi, Tatsuhiro Tsuchiya (Osaka Univ) SS2016-18 DC2016-20 |
Combinatorial interaction testing is a well practiced software testing method.
This method requires any $t$-wise para... [more] |
SS2016-18 DC2016-20 pp.1-6 |
DC, SS |
2016-10-27 11:25 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Model Checking of Fault Tolerant Systems Using Abstract Timestamps Shinya Nakano, Tatsuhiro Tsuchiya (Osaka Univ.) SS2016-19 DC2016-21 |
[more] |
SS2016-19 DC2016-21 pp.7-11 |
DC, SS |
2016-10-27 11:50 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model Sen Moriya (Kindai Univ.), Michiko Inoue (NAIST) SS2016-20 DC2016-22 |
We consider wait-free randomized consensus algorithms with an oblivious adversary in asynchronous shared-memory system u... [more] |
SS2016-20 DC2016-22 pp.13-18 |
DC, SS |
2016-10-27 13:15 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Error Correction Method for Interblock Burst Error of PPM Compression Takuya Muroi, Masato Kitakami (Chiba Univ.) SS2016-21 DC2016-23 |
PPM compression is one of the best compression method in compression ratio. Data compression method is essential in com... [more] |
SS2016-21 DC2016-23 pp.19-24 |
DC, SS |
2016-10-27 13:40 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Single Limited-Magnitude Error Correcting Codes Using Integer Residue Ring of Large Order Shohei Kotaki, Masato Kitakami (Chiba Univ.) SS2016-22 DC2016-24 |
Multilevel memories, which store multiple bit information within a memory cell,
cause specific errors which mostly shif... [more] |
SS2016-22 DC2016-24 pp.25-29 |
DC, SS |
2016-10-27 14:05 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Note on Data Aggregation on Smart Grid Communications Considering Fault Tolerance and Privacy Ryota Ogasawara, Masayuki Arai (Nihon Univ.) SS2016-23 DC2016-25 |
In smart grid communications it is important to aggregate users' usage data while preserving privacy. In this paper we p... [more] |
SS2016-23 DC2016-25 pp.31-36 |
DC, SS |
2016-10-27 14:30 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Model Based Test Case Generation for Web Application Using Model Checking Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) SS2016-24 DC2016-26 |
[more] |
SS2016-24 DC2016-26 pp.37-42 |
DC, SS |
2016-10-27 15:05 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Towards a Zone-based Verification for DTPDA with Clock Freezing Sho Hiraoka, Shoji Yuen (Nagoya Univ.) SS2016-25 DC2016-27 |
We present a zone construction for the dense timed pushdown automata with freezing ages as a discretization method to ve... [more] |
SS2016-25 DC2016-27 pp.43-48 |
DC, SS |
2016-10-27 15:30 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis Masato Nakashima, Trung Chu Bao, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-26 DC2016-28 |
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] |
SS2016-26 DC2016-28 pp.49-54 |
DC, SS |
2016-10-27 15:55 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars Ryunosuke Takayama, Kenji Hashimoto, Seki Hiroyuki (Nagoya Univ.) SS2016-27 DC2016-29 |
A tree grammar based compression is known as one of the compression methods for XML documents. Also, methods for updatin... [more] |
SS2016-27 DC2016-29 pp.55-60 |
DC, SS |
2016-10-27 16:20 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Koichi Asano, Shinya Masuda, Mitsuhiro Ogata, Kazumasa Kobayashi (NTT DOCOMO), Atsufumi Tate, Satoru Hirayama (SEC) SS2016-28 DC2016-30 |
(To be available after the conference date) [more] |
SS2016-28 DC2016-30 pp.61-66 |
DC, SS |
2016-10-28 09:30 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
SS2016-29 DC2016-31 |
(To be available after the conference date) [more] |
SS2016-29 DC2016-31 pp.67-72 |
DC, SS |
2016-10-28 09:55 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2016-30 DC2016-32 |
(To be available after the conference date) [more] |
SS2016-30 DC2016-32 pp.73-78 |
DC, SS |
2016-10-28 10:20 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Software Reuse Detection Focusing on Text in Binary Code Satoshi Watanabe, Akito Monden (Okayama U.), Haruaki Tamada (Kyoto Sangyo U.), Yuichiro Kanzaki (NIT, Kumamoto College) SS2016-31 DC2016-33 |
[more] |
SS2016-31 DC2016-33 pp.79-84 |
DC, SS |
2016-10-28 10:45 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Software Reuse Detection Using Binary Program Compression Kosuke Kamimura (NAIST), Akito Monden (Okayama Univ.), Hideaki Hata, Kenichi Matsumoto (NAIST) SS2016-32 DC2016-34 |
Open source software (OSS) is obtainable and reusable by anyone, while software plagiarism (i.e. code reuse without lice... [more] |
SS2016-32 DC2016-34 pp.85-90 |
DC, SS |
2016-10-28 11:20 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Software Bug Analysis Based on Archetypal Analysis Keisuke Takimoto, Akito Monden (Okayama U.), Saya Onoue, Hideaki Hata (NAIST), Yasutaka Kamei (Kyushu U.) SS2016-33 DC2016-35 |
[more] |
SS2016-33 DC2016-35 pp.91-96 |
DC, SS |
2016-10-28 11:45 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
A Study of the Growth of Programmers with Online Judge Archives Yusaku Noriyuki, Takao Nakagawa, Hideaki Hata, Kenichi Matsumoto (NAIST) SS2016-34 DC2016-36 |
An online judge is an online system that provides programming problems and an environment for compiling and testing subm... [more] |
SS2016-34 DC2016-36 pp.97-101 |
DC, SS |
2016-10-28 12:10 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Naoto Ogura, Shinsuke Matsumoto (Osaka Univ.), Hideaki Hata (NAIST), Shinji Kusumoto (Osaka Univ.) SS2016-35 DC2016-37 |
(To be available after the conference date) [more] |
SS2016-35 DC2016-37 pp.103-108 |