IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
Chair Kazuhiro Ogata (JAIST)
Vice Chair Akio Nakata (Hiroshima City Univ.)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.)
Assistant Kazuyuki Shima (Hiroshima City Univ.)

Technical Committee on Dependable Computing (DC) [schedule] [select]
Chair Michiko Inoue (NAIST)
Vice Chair Satoshi Fukumoto (Tokyo Metropolitan Univ.)
Secretary Masayoshi Yoshimura (Kyoto Sangyo Univ.), Haruhiko Kaneko (Tokyo Inst. of Tech.)
Assistant Masayuki Arai (Nihon Univ.)

Conference Date Thu, Oct 19, 2017 13:15 - 18:05
Fri, Oct 20, 2017 09:30 - 11:30
Topics Software System and Dependability on Network, etc 
Conference Place  

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.)

Announcement for Speakers
General TalkEach speech will have 17 minutes for presentation and 8 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-: ist-u 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/
DC Technical Committee on Dependable Computing (DC)   [Latest Schedule]
Contact Address  


Last modified: 2017-11-21 12:19:18


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to SS Schedule Page]   /   [Return to DC Schedule Page]   /  
 
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan