| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2016)
Search Results: Keywords 'from:2016-10-27 to:2016-10-27'
| 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 |
[Return to Top Page]