IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 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  
Copyright
and
reproduction
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

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 SS2017-21 DC2017-20 Koji Yamamoto (Fujitsu Labs.)
(2) 13:45-14:15 A Direct Update Method for Compressed Data with Top Tree SS2017-22 DC2017-21 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 SS2017-23 DC2017-22 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 SS2017-24 DC2017-23 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 SS2017-25 DC2017-24 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 SS2017-26 DC2017-25 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 SS2017-27 DC2017-26
(8) 17:05-17:35 SS2017-28 DC2017-27
(9) 17:35-18:05 An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System SS2017-29 DC2017-28 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 SS2017-30 DC2017-29 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 SS2017-31 DC2017-30 Michiko Inoue, Fukuhito Ooshita (NAIST), Sebastien Tixeuil (UPMC)
(12) 10:30-11:00 Wormhole Attacks on Duty-Cycling Wireless Sensor Networks and Their Countermeasures SS2017-32 DC2017-31 Wang Wen Yang, Takashi Minohara (Takushoku Univ.)
(13) 11:00-11:30 Generating Top-k List by Using Delay Tolerant Networks and Crowdsourcing SS2017-33 DC2017-32 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.
 

[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