Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
SS2017-21
Towards a lambda-graph rewriting to analyze modification impacts and identify behaviors of dynamically typed procedural languages
Koji Yamamoto (Fujitsu Labs.)
pp. 1 - 6
SS2017-22
A Direct Update Method for Compressed Data with Top Tree
Suguru Nishimura, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
pp. 7 - 12
SS2017-23
A Transformation Method of XQuery Expressions for Evaluation on Compressed XML Documents
Jukiya Ogura, Yasunori Ishihara, Toru Fujiwara (Osaka Univ.)
pp. 13 - 18
SS2017-24
Towards a behavioral model of Yampa programs in a discrete runtime environment
Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.)
pp. 19 - 24
SS2017-25
Making of Code Clone Elimination Problem Function for Java Programming Learning Assistant System
Nobuya Ishihara, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
pp. 25 - 30
SS2017-26
An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System
Khin Khin Zaw, Nobuo Funabiki (Okayama Univ.)
pp. 31 - 36
SS2017-27
(See Japanese page.)
pp. 37 - 42
SS2017-28
(See Japanese page.)
pp. 43 - 48
SS2017-29
An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System
Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.)
pp. 49 - 54
SS2017-30
On the generation of constrained locating arrays using an SMT solver
Hao Jin (Osaka Univ.), Eun-Hye Choi (AIST), Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 55 - 60
SS2017-31
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks
Michiko Inoue, Fukuhito Ooshita (NAIST), Sebastien Tixeuil (UPMC)
pp. 61 - 66
SS2017-32
Wormhole Attacks on Duty-Cycling Wireless Sensor Networks and Their Countermeasures
Wang Wen Yang, Takashi Minohara (Takushoku Univ.)
pp. 67 - 72
SS2017-33
Generating Top-k List by Using Delay Tolerant Networks and Crowdsourcing
Shouhei Karaguchi, Kazuya Sakai, Satoshi Fukumoto (Tokyo Metropolitan Univ.)
pp. 73 - 76
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.