| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Kunihiko Hiraishi (JAIST) |
| Vice Chair |
|
Yuichi Nakamaura (NEC) |
| Secretary |
|
Masaki Nakamura (Toyama Pref. Univ.), Shinnosuke Yamaguchi (Kyushu Inst. of Tech.) |
| Assistant |
|
Daisuke Nishiwaki (NEC) |
|
|
|
| Chair |
|
Hiroyuki Seki (NAIST) |
| Vice Chair |
|
Shin Nakajima (NII) |
| Secretary |
|
Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) |
| Assistant |
|
Hironobu Washizaki (Waseda Univ.) |
|
| Conference Date |
Thu, Jan 26, 2012 09:30 - 18:15
Fri, Jan 27, 2012 09:00 - 12:15 |
| Topics |
General topics |
| Conference Place |
Kochi City Culture-Plaza CUL-PORT |
| Address |
2-1, Kutanda, Kochi-shi, 780-8529 Japan. |
| Transportation Guide |
20 min. walk from JR Kochi Sta.
http://www.bunkaplaza.or.jp/access/index.html |
Contact
Person |
Prof. Yoshiaki Takata |
| Announcement |
Please join us for an opening reception. |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Jan 26 AM
09:30 - 12:15 |
| (1) |
09:30-10:00 |
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving
-- Proposal of Information Supervisory Control --  MSS2011-54 SS2011-39 |
Naoshi Uchihira, Kentaro Torii (Toshiba), Kunihiko Hiraishi, Sunseong Choe, Tetsuro Chino (JAIST), Yuji Hirabayashi (Shimizu Corp.), Taro Sugihara (JAIST) |
| (2) |
10:00-10:30 |
A smartphone-based programming environment for a physical computing platform MSS2011-55 SS2011-40 |
Yuka Kamimura, Yoshiaki Takata (KUT) |
| (3) |
10:30-11:00 |
Evaluation of Identification of Variables to Transform into Logarithmic in Cost Prediction MSS2011-56 SS2011-41 |
Kenta Miyoshi (Kagawa NCT), Katsuma Ubukata (NRI), Takeshi Kakimoto (Kagawa NCT), Shinji Kusumoto (Osaka Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
| (4) |
11:15-11:45 |
Architectual Point Mapping for Bidirectional Traceability between Design and Code MSS2011-57 SS2011-42 |
Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
| (5) |
11:45-12:15 |
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers MSS2011-58 SS2011-43 |
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) |
| |
12:15-13:15 |
Lunch Break ( 60 min. ) |
Thu, Jan 26 PM
13:15 - 18:15 |
| (6) |
13:15-13:45 |
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics MSS2011-59 SS2011-44 |
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) |
| (7) |
13:45-14:15 |
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets MSS2011-60 SS2011-45 |
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) |
| (8) |
14:15-14:45 |
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls MSS2011-61 SS2011-46 |
Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
| (9) |
14:45-15:15 |
On class of equation sets whose word problems are reducible to those of ground equation sets MSS2011-62 SS2011-47 |
Toshimitsu Sakai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.) |
| |
15:15-15:30 |
Break ( 15 min. ) |
| (10) |
15:30-16:00 |
On Rewriting Induction for Simply-typed Term Rewriting Systems MSS2011-63 SS2011-48 |
Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
| (11) |
16:00-16:30 |
On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems MSS2011-64 SS2011-49 |
Kazuhiro Ooi, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
| (12) |
16:30-17:00 |
A Decomposition Approach to the Bi-Objective Traveling Salesman Problem and Its Evaluation MSS2011-65 SS2011-50 |
Hiroya Inamoto, Satoru Hashizume, Tomoyuki Yajima, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.) |
| |
17:00-17:15 |
Break ( 15 min. ) |
| (13) |
17:15-18:15 |
[Invited Talk]
Towards Mathematical Foundation of Cyber-Physical Systems MSS2011-66 SS2011-51 |
Yuichi Tazaki (Nagoya Univ) |
Fri, Jan 27 AM
09:00 - 12:15 |
| (14) |
09:00-10:00 |
[Invited Talk]
Research Cases on Interval Constraint Programming
-- A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems -- MSS2011-67 SS2011-52 |
Daisuke Ishii (NII) |
| |
10:00-10:15 |
Break ( 15 min. ) |
| (15) |
10:15-10:45 |
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance MSS2011-68 SS2011-53 |
Koji Takahashi (Tokyo Tech.) |
| (16) |
10:45-11:15 |
Control of Uncertain Networked Systems with Multiple Random Delays MSS2011-69 SS2011-54 |
Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |
| (17) |
11:15-11:45 |
A Framework for Creating Automatically Software Requirements Specification to Meet Elicited User's Requirements MSS2011-70 SS2011-55 |
Shuhei Murayama, Hiroaki Iizuka, Fuminori Hirose (SIT), Takatoshi Yamanaka (FUJITSU LABORATORIES), Seiichi Komiya (SIT) |
| (18) |
11:45-12:15 |
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems MSS2011-71 SS2011-56 |
Shuhei Nakata, Shigemasa Takai (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E- :    -n pu-   |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Yoshiaki Takata (Kochi Univ. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E-:      a  - |
| Announcement |
Latest information will be presented on the homepage
http://www.info.kochi-tech.ac.jp/sigss/ |
Last modified: 2012-01-13 18:10:54
|