Information and Systems-Dependable Computing(Date:2017/10/19)

Presentation
Towards a lambda-graph rewriting to analyze modification impacts and identify behaviors of dynamically typed procedural languages

Koji Yamamoto(Fujitsu Labs.),  

[Date]2017-10-19
[Paper #]SS2017-21,DC2017-20
A Direct Update Method for Compressed Data with Top Tree

Suguru Nishimura(Nagoya Univ.),  Kenji Hashimoto(Nagoya Univ.),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2017-10-19
[Paper #]SS2017-22,DC2017-21
パターンマッチングのためのデータフローグラフ抽出器の実装

Yusuke Shinyama(TokyoTech),  Yoshitaka Arahori(TokyoTech),  Katsuhiko Gondow(TokyoTech),  

[Date]2017-10-19
[Paper #]SS2017-27,DC2017-26
A Transformation Method of XQuery Expressions for Evaluation on Compressed XML Documents

Jukiya Ogura(Osaka Univ.),  Yasunori Ishihara(Osaka Univ.),  Toru Fujiwara(Osaka Univ.),  

[Date]2017-10-19
[Paper #]SS2017-23,DC2017-22
Towards a behavioral model of Yampa programs in a discrete runtime environment

Tomoki Ichihashi(Nagoya Univ.),  Shouji Yuuen(Nagoya Univ.),  

[Date]2017-10-19
[Paper #]SS2017-24,DC2017-23
Making of Code Clone Elimination Problem Function for Java Programming Learning Assistant System

Nobuya Ishihara(Okayama Univ.),  Nobuo Funabiki(Okayama Univ.),  Minoru Kuribayashi(Okayama Univ.),  

[Date]2017-10-19
[Paper #]SS2017-25,DC2017-24
An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System

Khin Khin Zaw(Okayama Univ.),  Nobuo Funabiki(Okayama Univ.),  

[Date]2017-10-19
[Paper #]SS2017-26,DC2017-25
組織属性観点でのログレコード出現偏りに着目するシステム機能スリム化分析手法の提案

Hideaki Ito(Hitachi),  Ryota Mibe(Hitachi),  Koji Osuga(Hitachi-GP),  Tsutomu Yasui(Hitachi-GP),  

[Date]2017-10-19
[Paper #]SS2017-28,DC2017-27
An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System

Ryota Yamamoto(Nagoya Univ.),  Norihiro Yoshida(Nagoya Univ.),  Hiroaki Takada(Nagoya Univ.),  

[Date]2017-10-19
[Paper #]SS2017-29,DC2017-28
On the generation of constrained locating arrays using an SMT solver

Hao Jin(Osaka Univ.),  Eun-Hye Choi(AIST),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2017-10-20
[Paper #]SS2017-30,DC2017-29
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks

Michiko Inoue(NAIST),  Fukuhito Ooshita(NAIST),  Sebastien Tixeuil(UPMC),  

[Date]2017-10-20
[Paper #]SS2017-31,DC2017-30
Wormhole Attacks on Duty-Cycling Wireless Sensor Networks and Their Countermeasures

Wang Wen Yang(Takushoku Univ.),  Takashi Minohara(Takushoku Univ.),  

[Date]2017-10-20
[Paper #]SS2017-32,DC2017-31
Generating Top-k List by Using Delay Tolerant Networks and Crowdsourcing

Shouhei Karaguchi(Tokyo Metropolitan Univ.),  Kazuya Sakai(Tokyo Metropolitan Univ.),  Satoshi Fukumoto(Tokyo Metropolitan Univ.),  

[Date]2017-10-20
[Paper #]SS2017-33,DC2017-32