Information and Systems-Software Science(Date:2007/10/15)

Presentation
表紙

,  

[Date]2007/10/15
[Paper #]
目次

,  

[Date]2007/10/15
[Paper #]
Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees

Tomohiro MIZUTANI,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2007/10/15
[Paper #]SS2007-30
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,  

[Date]2007/10/15
[Paper #]SS2007-31
Behavior Verification for Embedded Systems Focusing on System Contexts

Hirotoshi Kanagawa,  Toshiki Seto,  Susumu Taniguchi,  Jyun Yoshida,  Naoyasu Ubayashi,  Takeshi Sumi,  Masayuki Hirayama,  

[Date]2007/10/15
[Paper #]SS2007-32
A Formal Model Verification on Robot Control Software

Yoichi OMORI,  Yuya INOKUCHI,  Keijiro ARAKI,  

[Date]2007/10/15
[Paper #]SS2007-33
e-Learning SYSTEM of Mastering Basic English Sentences

Hiromi BAN,  Toru SUGATA,  

[Date]2007/10/15
[Paper #]SS2007-34
A modelling of computer processes which preserve the meaning of the affected objects

Fumiko KOUDA,  Takashi CHIKAYAMA,  

[Date]2007/10/15
[Paper #]SS2007-35
Analysis of Fault Density by Association Rule Mining Using Cross-Company Data

Junya DEBARI,  Osamu MIZUNO,  Tohru KIKUNO,  Nahomi KIKUCHI,  Masayuki HIRAYAMA,  

[Date]2007/10/15
[Paper #]SS2007-36
A Method for Activity Prediction using Cluster Analysis on Email Threads

Kimiharu OHKURA,  Yoji ONISHI,  Shinji KAWAGUCHI,  Masao OHIRA,  Hajimu IIDA,  Ken-ichi MATSUMOTO,  

[Date]2007/10/15
[Paper #]SS2007-37
複写される方へ

,  

[Date]2007/10/15
[Paper #]
Notice for Photocopying

,  

[Date]2007/10/15
[Paper #]
奥付

,  

[Date]2007/10/15
[Paper #]