Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2011-03-07 09:00 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Study of Detecting Chain Reaction between Sensor Driven Services Takuya Inada, Kousuke Ikegami, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.), Hiroshi Igaki (TUT) SS2010-53 |
[more] |
SS2010-53 pp.1-6 |
SS |
2011-03-07 09:25 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Application Framework for Developing Personal Remote Controllers in Home Network System Keisuke Tokuda, Takuya Inada, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.) SS2010-54 |
We have been studying integrated user interface which can operate
heterogeneous home appliances by a single controller... [more] |
SS2010-54 pp.7-12 |
SS |
2011-03-07 09:50 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Device Model for Devices with Various Network Protocols Satoshi Noguchi, Kenji Suzuki (Mitsubishi Electric) SS2010-55 |
The Factory Automation(FA) system is built by various devices connected over the network. In developing the FA system, t... [more] |
SS2010-55 pp.13-18 |
SS |
2011-03-07 10:15 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Distributed Real-Time Operating System with Location-Transparent System Calls for Embedded Control Systems Takahiro Chiba (TCU), Yuichi Itami (Hitachi JTE Co., Ltd.), Myungryun Yoo, Takanori Yokoyama (TCU) SS2010-56 |
The paper presents a distributed real-time operating system (DRTOS) for distributed embedded control systems such as aut... [more] |
SS2010-56 pp.19-24 |
SS |
2011-03-07 10:50 |
Okinawa |
Okinawa-ken Seinen Kaikan |
An Aspect-oriented Customization Method for Embedded Operating Systems Kazuki Abe, Takanori Yokoyama, Myungryun Yoo (TCU) SS2010-57 |
The paper presents an aspect-oriented customization method for embedded operating systems. Embedded
operating systems a... [more] |
SS2010-57 pp.25-30 |
SS |
2011-03-07 11:15 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Propose of Real-time Scheduling Algorithm based on Utilization Akira Okazaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.) SS2010-58 |
Recently, the multiprocessor technology is used in the embedded system. Therefore, the improvement of the processing per... [more] |
SS2010-58 pp.31-36 |
SS |
2011-03-07 11:40 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Real-Time Scheduling Algorithm with Decreasing Preemption for Multiprocessor Based on RM Kouhei Nishigaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.) SS2010-59 |
In recent multiprocessor platforms in embadded systems are commonly used. Due to this background,
optimal real-time sch... [more] |
SS2010-59 pp.37-42 |
SS |
2011-03-07 13:30 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Simulink to UML Model Transformation Tool with a Function to Generate Behavioral Models Masayoshi Tamura, Tatsuya Kamiyama, Takahiro Soeda, Myungryun Yoo, Takanori Yokoyama (TCU) SS2010-60 |
The paper presents a method and a tool to transform Simulink models into UML models of embedded control software. In the... [more] |
SS2010-60 pp.43-48 |
SS |
2011-03-07 13:55 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Reusability Evaluation of Past Bug Fixes in Open Source Repositories Masaru Shiozuka (KIT), Naoyasu Ubayashi (Kyushu Univ.) SS2010-61 |
Programmers tend to spend much time for debugging in which they check the erroneous phenomena, navigate the code, search... [more] |
SS2010-61 pp.49-54 |
SS |
2011-03-07 14:20 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Towards Objective Estimations of Software Implementation Progress Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST) SS2010-62 |
Software implementation is often measured subjectively by software developers or project managers. In hopes to find a mo... [more] |
SS2010-62 pp.55-60 |
SS |
2011-03-07 14:45 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Tree Automata with Constraints and their Closure-Properties Katsuhisa Kurahashi, Masahiko Sakai, Naoki Nishida, Futoshi Nomura, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) SS2010-63 |
Tree automata are useful in analyzing properties of term rewriting systems since the class of recognizable tree language... [more] |
SS2010-63 pp.61-66 |
SS |
2011-03-07 15:20 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A supporting method of scenario retrieval using differential scenarios Yusaku Yoshida, Atsushi Ohnishi (Ritsumeikan U.) SS2010-64 |
In a scenario-based software development, a lot of scenarios should be described in order to clarify the whole behaviors... [more] |
SS2010-64 pp.67-72 |
SS |
2011-03-07 15:45 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Supporting Class Responsibility Assignment with Responsibility Description Motohiro Akiyama, Shinpei Hayashi (Tokyo Tech.), Takashi Kobayashi (Nagoya Univ.), Motoshi Saeki (Tokyo Tech.) SS2010-65 |
In object-oriented design, Class Responsibility Assignment (CRA) is important. However, it is not easy to detect where t... [more] |
SS2010-65 pp.73-78 |
SS |
2011-03-07 16:10 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Analysis and evaluation of open source project evolution based on the automatic classification of SCM data Kago Tai, Kenji Kaijiri, Haruhiko Kaiya (Sinsyu Univ.) SS2010-66 |
It is difficult to evaluate the software development process of OSS because there is no unified development discipline i... [more] |
SS2010-66 pp.79-84 |
SS |
2011-03-07 16:35 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Feature analysis of development style based on noncompliance measurement of coding conventions Hitoshi Teraoka, Kenji Kaijiri, Haruhiko Kaiya (Shinshu Univ.) SS2010-67 |
We focused compliance of the coding rule and searched for the correlation between the quality/style of the software and ... [more] |
SS2010-67 pp.85-90 |
SS |
2011-03-08 09:00 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Modular Verification using Bounded Model Checking technique with Test Case Generation Yuusuke Hashimoto (Sokendai), Shin Nakajima (NII) SS2010-68 |
In bounded model checking technique, some approximation is introduced during the translation from a program to a finite ... [more] |
SS2010-68 pp.91-96 |
SS |
2011-03-08 09:25 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Towards Verifying Pointer-Manipulating Program using Program Transformation
-- A Case Study with Morris' Binary Tree Traversal Algorithm -- Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki (Tokyo Tech) SS2010-69 |
We proved the correctness of a C implementation of Morris's tree traversal algorithm.
The algorithm is known as a recur... [more] |
SS2010-69 pp.97-102 |
SS |
2011-03-08 09:50 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Process Algebra Compiler with Negative Premises Jun Ban, Shoji Yuen (Nagoya Univ.) SS2010-70 |
Structural Operational Semantics (SOS) is widely used for defining operational semantics of concurrent process calculi.
... [more] |
SS2010-70 pp.103-108 |
SS |
2011-03-08 10:15 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Division and verification of Sequential Game Program on GameFrameWork Cerium Yusuke Kobayashi, Shinji Kono, Kaito Tagano, Yutaka Kinjo (Ryukyu Univ.) SS2010-71 |
We test divided game program.
We immobilize random element that player input and random numbers,
and check behavior of... [more] |
SS2010-71 pp.109-113 |
SS |
2011-03-08 10:50 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Class Enhancement of our OCL to JML translation tool and Its Application to a Curriculum Management System Kiyoyuki Miyazawa, Kentaro Hanada, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-72 |
[more] |
SS2010-72 pp.115-120 |