Thu, Oct 19 PM SS-1
13:15 - 15:15 |
| (1) |
13:15-13:45 |
Towards a lambda-graph rewriting to analyze modification impacts and identify behaviors of dynamically typed procedural languages |
Koji Yamamoto (Fujitsu Labs.) |
| (2) |
13:45-14:15 |
A Direct Update Method for Compressed Data with Top Tree |
Suguru Nishimura, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
| (3) |
14:15-14:45 |
A Transformation Method of XQuery Expressions for Evaluation on Compressed XML Documents |
Jukiya Ogura, Yasunori Ishihara, Toru Fujiwara (Osaka Univ.) |
| (4) |
14:45-15:15 |
Towards a behavioral model of Yampa programs in a discrete runtime environment |
Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.) |
| |
15:15-15:25 |
Break ( 10 min. ) |
Thu, Oct 19 PM SS-2
15:25 - 16:25 |
| (5) |
15:25-15:55 |
Making of Code Clone Elimination Problem Function for Java Programming Learning Assistant System |
Nobuya Ishihara, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.) |
| (6) |
15:55-16:25 |
An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System |
Khin Khin Zaw, Nobuo Funabiki (Okayama Univ.) |
| |
16:25-16:35 |
Break ( 10 min. ) |
Thu, Oct 19 PM SS-3
16:35 - 18:05 |
| (7) |
16:35-17:05 |
|
|
| (8) |
17:05-17:35 |
|
|
| (9) |
17:35-18:05 |
An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System |
Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.) |
| |
- |
|
Fri, Oct 20 AM DC-1
09:30 - 11:30 |
| (10) |
09:30-10:00 |
On the generation of constrained locating arrays using an SMT solver |
Hao Jin (Osaka Univ.), Eun-Hye Choi (AIST), Tatsuhiro Tsuchiya (Osaka Univ.) |
| (11) |
10:00-10:30 |
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks |
Michiko Inoue, Fukuhito Ooshita (NAIST), Sebastien Tixeuil (UPMC) |
| (12) |
10:30-11:00 |
Wormhole Attacks on Duty-Cycling Wireless Sensor Networks and Their Countermeasures |
Wang Wen Yang, Takashi Minohara (Takushoku Univ.) |
| (13) |
11:00-11:30 |
Generating Top-k List by Using Delay Tolerant Networks and Crowdsourcing |
Shouhei Karaguchi, Kazuya Sakai, Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
: 
ist
-u