IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Software Science (SS) [schedule] [select]
Chair Toshiki Sakabe (Nagoya Univ.)
Vice Chair Tsuneo Ajisaka (Wakayama Univ.)
Secretary Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.)

Conference Date Mon, Oct 22, 2007 14:00 - 16:45
Tue, Oct 23, 2007 09:40 - 11:55
Topics general 
Conference Place Miyagi University 
Transportation Guide
Prof. Togashi
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)

Mon, Oct 22 PM 
14:00 - 16:45
(1) 14:00-14:30 Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees SS2007-30 Tomohiro Mizutani, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
(2) 14:30-15:00 Temporal Extension in Semantic Web Atsushi Togashi (Miyagi Univ.), Junya Yumoto (NEC Software Ltd.)
  15:00-15:15 Break ( 15 min. )
(3) 15:15-15:45 A Design Rationale Elicitation Method Using Rational Decision Making to Resolve The Lack of Expression Power about QOC's Relative Weight SS2007-31 Yusuke Kobayashi, Atsuo Hazeyama (Tokyo Gakugei Univ.)
(4) 15:45-16:15 Behavior Verification for Embedded Systems Focusing on System Contexts SS2007-32 Hirotoshi Kanagawa, Toshiki Seto, Susumu Taniguchi, Jyun Yoshida, Naoyasu Ubayashi (KIT), Takeshi Sumi, Masayuki Hirayama (TOSHIBA)
(5) 16:15-16:45 A Formal Model Verification on Robot Control Software SS2007-33 Yoichi Omori, Yuya Inokuchi, Keijiro Araki (Kyushu Univ.)
Tue, Oct 23 AM 
09:40 - 11:55
(6) 09:40-10:10 e-Learning SYSTEM of mastering basic English sentences SS2007-34 Hiromi Ban (Tokyo Future Univ.), Toru Sugata (Kanazawa Seiryo Univ.)
(7) 10:10-10:40 A modelling of a processing in which it preserves the meaning of the affected object by it SS2007-35 Fumiko Kouda, Takashi Chikayama (Univ. Tokyo)
  10:40-10:55 Break ( 15 min. )
(8) 10:55-11:25 Analysis of fault density by association rule mining using cross-company data SS2007-36 Junya Debari, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi, Masayuki Hirayama (IPA)
(9) 11:25-11:55 A Method for Activity Prediction using Cluster Analysis on Email Thereads SS2007-37 Kimiharu Ohkura, Yoji Onishi, Shinji Kawaguchi, Masao Ohira, Hajimu Iida, Ken-ichi Matsumoto (NAIST)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E-: is-u 
Announcement Latest information will be presented on the homepage

Last modified: 2007-10-05 13:41:16

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]   /  
 Go Top  Go Back   Prev SS Conf / Next SS Conf [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