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 http://www.myu.ac.jp/guide/gu06.html
Contact
Person
Prof. Togashi

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 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 Yusuke Kobayashi, Atsuo Hazeyama (Tokyo Gakugei Univ.)
(4) 15:45-16:15 Behavior Verification for Embedded Systems Focusing on System Contexts 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 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 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 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 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 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
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/


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