| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2007)
Search Results: Keywords 'from:2007-10-22 to:2007-10-22'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2007-10-22 14:00 |
Miyagi | Miyagi Univ. | Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees Tomohiro Mizutani, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)  SS2007-30 |
In this paper, we present a method for automatically proving non-termination of logic programs. Given a program and a qu... [more] | SS2007-30 pp.1-6 |
| SS | 2007-10-22 14:30 |
Miyagi | Miyagi Univ. | Temporal Extension in Semantic Web Atsushi Togashi (Miyagi Univ.), Junya Yumoto (NEC Software Ltd.) |
[more] | |
| SS | 2007-10-22 15:15 |
Miyagi | Miyagi Univ. | 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.) SS2007-31 |
It is widely acknowledged that elicitation of design rationale is important in software design. Thus far, design rationa... [more] | SS2007-31 pp.7-12 |
| SS | 2007-10-22 15:45 |
Miyagi | Miyagi Univ. | 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) SS2007-32 |
Many of the embedded systems not only affect their external contexts through actuators but also are affected by their en... [more] | SS2007-32 pp.13-18 |
| SS | 2007-10-22 16:15 |
Miyagi | Miyagi Univ. | A Formal Model Verification on Robot Control Software Yoichi Omori, Yuya Inokuchi, Keijiro Araki (Kyushu Univ.) SS2007-33 |
This paper presents application of the formal specification method to the industrial robot software and its working envi... [more] | SS2007-33 pp.19-24 |
| SS | 2007-10-23 09:40 |
Miyagi | Miyagi Univ. | e-Learning SYSTEM of mastering basic English sentences Hiromi Ban (Tokyo Future Univ.), Toru Sugata (Kanazawa Seiryo Univ.) SS2007-34 |
[more] | SS2007-34 pp.25-28 |
| SS | 2007-10-23 10:10 |
Miyagi | Miyagi Univ. | A modelling of a processing in which it preserves the meaning of the affected object by it Fumiko Kouda, Takashi Chikayama (Univ. Tokyo) SS2007-35 |
We propose a new model of computer processing based on models of object and their meanings to make issueing commands to... [more] | SS2007-35 pp.29-34 |
| SS | 2007-10-23 10:55 |
Miyagi | Miyagi Univ. | 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) SS2007-36 |
[more] | SS2007-36 pp.35-40 |
| SS | 2007-10-23 11:25 |
Miyagi | Miyagi Univ. | 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) SS2007-37 |
In open-source software (OSS) development, activity is one of important factors which affect quality of software product... [more] | SS2007-37 pp.41-46 |
[Return to Top Page]