===============================================
Technical Committee on Software Science (SS)
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.)
===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
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)
DATE:
Thu, Jan 26, 2012 09:30 - 18:15
Fri, Jan 27, 2012 09:00 - 12:15
PLACE:
Kochi City Culture-Plaza CUL-PORT(2-1, Kutanda, Kochi-shi, 780-8529 Japan.20 min. walk from JR Kochi Sta.http://www.bunkaplaza.or.jp/access/index.html. Prof. Yoshiaki Takata)
TOPICS:
General topics
----------------------------------------
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 --
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
Yuka Kamimura, Yoshiaki Takata (KUT)
(3) 10:30 - 11:00
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.)
----- Break ( 15 min. ) -----
(4) 11:15 - 11:45
Architectual Point Mapping for Bidirectional Traceability between Design and Code
Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
(5) 11:45 - 12:15
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
----- 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
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
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.)
(8) 14:15 - 14:45
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls
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
Toshimitsu Sakai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.)
----- Break ( 15 min. ) -----
(10) 15:30 - 16:00
On Rewriting Induction for Simply-typed Term Rewriting Systems
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
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
Hiroya Inamoto, Satoru Hashizume, Tomoyuki Yajima, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.)
----- Break ( 15 min. ) -----
(13) 17:15 - 18:15
[Invited Talk]
Towards Mathematical Foundation of Cyber-Physical Systems
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 --
Daisuke Ishii (NII)
----- Break ( 15 min. ) -----
(15) 10:15 - 10:45
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance
Koji Takahashi (Tokyo Tech.)
(16) 10:45 - 11:15
Control of Uncertain Networked Systems with Multiple Random Delays
Koichi Kobayashi, Kunihiko Hiraishi (JAIST)
(17) 11:15 - 11:45
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)
(18) 11:45 - 12:15
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems
Shuhei Nakata, Shigemasa Takai (Osaka Univ.)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
# CONFERENCE ANNOUNCEMENT:
- Please join us for an opening reception.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Tue, Mar 13, 2012 - Wed, Mar 14, 2012: Tenbusu-Naha [Thu, Jan 19], Topics: General topics
# SECRETARY:
Yoshiaki Takata (Kochi Univ. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E-mail: a-
# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.info.kochi-tech.ac.jp/sigss/
=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:
Thu, Mar 8, 2012 - Fri, Mar 9, 2012: JAIST Tokyo Satellite [Mon, Dec 12]
# SECRETARY:
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E-mail: -npu-
Last modified: 2012-01-13 18:10:54
|
Notification: Mail addresses are partially hidden against SPAM.
|