| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== 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.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to MSS Schedule Page] / [Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]