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

DATE:
Thu, Oct 19, 2017 13:15 - 18:05
Fri, Oct 20, 2017 09:30 - 11:30

PLACE:


TOPICS:
Software System and Dependability on Network, etc

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

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

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Oct 19 PM SS-3 (16:35 - 18:05)
----------------------------------------

(7) 16:35 - 17:05
(See Japanese page.)

(8) 17:05 - 17:35
(See Japanese page.)

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

# Information for speakers
General Talk will have 17 minutes for presentation and 8 minutes for discussion.


=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, Jan 18, 2018 - Fri, Jan 19, 2018: [unfixed]

# SECRETARY:
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: ist-u

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/

=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:

Mon, Nov 6, 2017 - Wed, Nov 8, 2017: Kumamoto-Kenminkouryukan Parea [Mon, Sep 11], Topics: Design Gaia 2017 -New Field of VLSI Design-
Fri, Dec 15, 2017: Akita Study Center, The Open University of Japan [Fri, Oct 6], Topics: Winter Workshop on safety


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.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[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