Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2012-01-26 09:30 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving
-- Proposal of Information Supervisory Control -- Naoshi Uchihira, Kentaro Torii (Toshiba), Kunihiko Hiraishi, Sunseong Choe, Tetsuro Chino (JAIST), Yuji Hirabayashi (Shimizu Corp.), Taro Sugihara (JAIST) MSS2011-54 SS2011-39 |
We have been developing a temporal-spatial communication system by smart voice messaging in nursing and caregiving as on... [more] |
MSS2011-54 SS2011-39 p.1 |
SS, MSS |
2012-01-26 10:00 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
A smartphone-based programming environment for a physical computing platform Yuka Kamimura, Yoshiaki Takata (KUT) MSS2011-55 SS2011-40 |
Physical computing, which is an approach to educating computers and studying human-computer interaction through
develo... [more] |
MSS2011-55 SS2011-40 pp.3-8 |
SS, MSS |
2012-01-26 10:30 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Evaluation of Identification of Variables to Transform into Logarithmic in Cost Prediction Kenta Miyoshi (Kagawa NCT), Katsuma Ubukata (NRI), Takeshi Kakimoto (Kagawa NCT), Shinji Kusumoto (Osaka Univ.) MSS2011-56 SS2011-41 |
With the development of large and complex software, it may become difficult to proceed the project according to designed... [more] |
MSS2011-56 SS2011-41 pp.9-14 |
SS, MSS |
2012-01-26 11:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Architectual Point Mapping for Bidirectional Traceability between Design and Code Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) MSS2011-57 SS2011-42 |
Well-designed architecture leads to high-quality systems. However,
it is not easy to design architecture reflecting the... [more] |
MSS2011-57 SS2011-42 pp.15-20 |
SS, MSS |
2012-01-26 11:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-58 SS2011-43 |
Recently, SAT-based bounded model checking has received attention as an efficient symbolic model checking technique. It ... [more] |
MSS2011-58 SS2011-43 pp.21-26 |
SS, MSS |
2012-01-26 13:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44 |
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] |
MSS2011-59 SS2011-44 pp.27-32 |
SS, MSS |
2012-01-26 13:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) MSS2011-60 SS2011-45 |
A workflow may be changed to adapt to market growth, legal reform, and so on.
In that case, the new workflow has to pre... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
SS, MSS |
2012-01-26 14:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) MSS2011-61 SS2011-46 |
Finding loop invariants is one of the most important tasks in program verification. It is, however, difficult to automat... [more] |
MSS2011-61 SS2011-46 pp.39-44 |
SS, MSS |
2012-01-26 14:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On class of equation sets whose word problems are reducible to those of ground equation sets Toshimitsu Sakai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.) MSS2011-62 SS2011-47 |
The word problem of an equation set is to decide, given two terms, whether the two terms are equivalent under the equati... [more] |
MSS2011-62 SS2011-47 pp.45-49 |
SS, MSS |
2012-01-26 15:30 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Rewriting Induction for Simply-typed Term Rewriting Systems Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) MSS2011-63 SS2011-48 |
Rewriting induction is a principle of proving inductive theorems by means of derivations obtained by applying inference ... [more] |
MSS2011-63 SS2011-48 pp.51-56 |
SS, MSS |
2012-01-26 16:00 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems Kazuhiro Ooi, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) MSS2011-64 SS2011-49 |
The static dependency pair method is known as a powerful method for proving termination of higher-order rewrite systems ... [more] |
MSS2011-64 SS2011-49 pp.57-62 |
SS, MSS |
2012-01-26 16:30 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
A Decomposition Approach to the Bi-Objective Traveling Salesman Problem and Its Evaluation Hiroya Inamoto, Satoru Hashizume, Tomoyuki Yajima, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.) MSS2011-65 SS2011-50 |
To transfer the concept of optimality to multi-objective optimization pr
oblems, the notion of Pareto solutions plays a... [more] |
MSS2011-65 SS2011-50 pp.63-68 |
SS, MSS |
2012-01-26 17:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
[Invited Talk]
Towards Mathematical Foundation of Cyber-Physical Systems Yuichi Tazaki (Nagoya Univ) MSS2011-66 SS2011-51 |
[more] |
MSS2011-66 SS2011-51 pp.69-72 |
SS, MSS |
2012-01-27 09:00 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
[Invited Talk]
Research Cases on Interval Constraint Programming
-- A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems -- Daisuke Ishii (NII) MSS2011-67 SS2011-52 |
Interval constraint programming is a framework for describing various phenomena with constraints that involve variables ... [more] |
MSS2011-67 SS2011-52 pp.73-77 |
SS, MSS |
2012-01-27 10:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance Koji Takahashi (Tokyo Tech.) MSS2011-68 SS2011-53 |
[more] |
MSS2011-68 SS2011-53 pp.79-84 |
SS, MSS |
2012-01-27 10:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Control of Uncertain Networked Systems with Multiple Random Delays Koichi Kobayashi, Kunihiko Hiraishi (JAIST) MSS2011-69 SS2011-54 |
In networked systems, there exist multiple delays such as input delays, output delays, and delays occurred by packet los... [more] |
MSS2011-69 SS2011-54 pp.85-88 |
SS, MSS |
2012-01-27 11:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
A Framework for Creating Automatically Software Requirements Specification to Meet Elicited User's Requirements Shuhei Murayama, Hiroaki Iizuka, Fuminori Hirose (SIT), Takatoshi Yamanaka (FUJITSU LABORATORIES), Seiichi Komiya (SIT) MSS2011-70 SS2011-55 |
System development is performed based on requirements specification. An oversight and an error are containd also in the ... [more] |
MSS2011-70 SS2011-55 pp.89-94 |
SS, MSS |
2012-01-27 11:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems Shuhei Nakata, Shigemasa Takai (Osaka Univ.) MSS2011-71 SS2011-56 |
In the setting of decentralized diagnosis of discrete event systems using multiple local diagnosers, we consider a situa... [more] |
MSS2011-71 SS2011-56 pp.95-100 |