| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Mathematical Systems Science and its applications (MSS) Chair: Morikazu Nakamura (Univ. of Ryukyus) Vice Chair: Shigemasa Takai (Osaka Univ.) Secretary: Ichiro Toyoshima (Toshiba), Takahumi Kanazawa (Osaka Univ.) Assistant: Hideki Kinjo (Okinawa Univ.) =============================================== Technical Committee on Software Science (SS) Chair: Kazuhiro Ogata (JAIST) Vice Chair: Akio Nakata (Hiroshima City Univ.) Secretary: Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.) Assistant: Kazuyuki Shima (Hiroshima City Univ.) DATE: Thu, Jan 18, 2018 09:50 - 18:00 Fri, Jan 19, 2018 09:50 - 17:50 PLACE: TOPICS: ---------------------------------------- Thu, Jan 18 AM (09:50 - 11:30) ---------------------------------------- (1) 09:50 - 10:15 (See Japanese page.) (2) 10:15 - 10:40 (See Japanese page.) (3) 10:40 - 11:05 Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, Shinji Kusumoto (Osaka Univ.) (4) 11:05 - 11:30 Masayuki Doi, Yoshiki Higo, Ryo Arima, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.) ----- ( 75 min. ) ----- ---------------------------------------- Thu, Jan 18 PM (12:45 - 14:00) ---------------------------------------- (5) 12:45 - 13:10 Verification of an Approach to Find Determiner Set of Graphs Koki Tanaka, Takafumi Goto, Mituru Nakata (Yamaguchi Univ.), Chiranut Sa-ngiamsak (Khon Kaen Univ.), Qi-Wei Ge (Yamaguchi Univ.) (6) 13:10 - 13:35 Weighted Potential for Multipopulation Access Point Selection Games Yuki Kodera, Takafumi Kanazawa (Osaka Univ.) (7) 13:35 - 14:00 Stack queue mixed layout of graphs using stack number Miki Miyauchi (NTT) ----- ( 15 min. ) ----- ---------------------------------------- Thu, Jan 18 PM (14:15 - 15:30) ---------------------------------------- (8) 14:15 - 14:40 Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars Ryoma Senda, Hiroyuki Seki (Nagoya Univ.) (9) 14:40 - 15:05 Design of concurrent processing by an interpreter for the functional programming language in continuation passing style Nagisa Kojima, Kazuyuki Shima (HCU) (10) 15:05 - 15:30 Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) ----- ( 15 min. ) ----- ---------------------------------------- Thu, Jan 18 PM (15:45 - 17:25) ---------------------------------------- (11) 15:45 - 16:10 Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits Tsutomu Inamoto, Yoshinobu Higami (Ehime Univ.) (12) 16:10 - 16:35 A Proposal of Generating Paths of Program Net and Its Application to Software Testing Biao Wu (Yamaguchi Univ.), Xiaoan Bao, Na Zhang (ZSTU), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) (13) 16:35 - 17:00 Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine Quan Gan, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) (14) 17:00 - 17:25 Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation Thi-Thuy Nguyen, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) ----- ( 10 min. ) ----- ---------------------------------------- Thu, Jan 18 PM (17:35 - 18:00) ---------------------------------------- (15) 17:35 - 18:00 [Invited Talk] Recent Trends in the Development of Programming Language Ruby -- An Improvement of Code Coverage Feature as a Case Study, and the Goals of Ruby 3 -- Yusuke Endoh (Cookpad) ---------------------------------------- Fri, Jan 19 AM (09:50 - 11:30) ---------------------------------------- (16) 09:50 - 10:15 Data-Aware Service Orchestration of IoT Service with Data Workflow Net Mohd Anuaruddin Bin Ahmadon, Naofumi Yamaguchi, Shingo Yamaguchi (Yamaguchi Univ.) (17) 10:15 - 10:40 On Modeling of Infection Phenomenon and Evaluation of Countermeasure for IoT Malware Mirai by Agent-Oriented Petri Net PN2 Shingo Yamaguchi, Hiroaki Tanaka (Yamaguchi Univ.) (18) 10:40 - 11:05 On Extraction of Gap Service between Design and Operation by Process Mining Ryosuke Wada, Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Mohd Anuaruddin Bin Ahmadon (TOSHIBA Energy Systems & Solutions Corporation), Yamaguchi Shingo (Yamaguchi Univ.) (19) 11:05 - 11:30 An Analysis of Prosumers' Benefit on Peer-to-Peer Energy Trading Mitsue Imahori, Ryo Hase, Norihiko Shinomiya (Soka Univ.) ----- ( 75 min. ) ----- ---------------------------------------- Fri, Jan 19 PM (12:45 - 14:25) ---------------------------------------- (20) 12:45 - 13:10 Classification of problem detection for incomplete software requirements using the development standard process Toma Miyamura (NAIST), Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto (JAXA), Hajimu Iida (NAIST), Masafumi Katahira (JAXA) (21) 13:10 - 13:35 (See Japanese page.) (22) 13:35 - 14:00 A Visualization Method of Compliance Status of Software Development Flow when using Version Control System Takumi Inoue, Yoichiro Kojima (OIT), Kenji Fujiwara (NITTC), Hiroshi Igaki (OIT) (23) 14:00 - 14:25 An Extension of Test Code Generation Support Tool Using Test Log to Java Method with Returning Value Ryota Kusaka, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) ----- ( 15 min. ) ----- ---------------------------------------- Fri, Jan 19 PM (14:40 - 16:20) ---------------------------------------- (24) 14:40 - 15:05 Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers Itsuki Okubo, Shigemasa Takai (Osaka Univ.) (25) 15:05 - 15:30 Application of M-Matrices to Stabilization of Composite Systems via Decentralized Event-Triggered Control Kenichi Fukuda, Toshimitsu Ushio (Osaka Univ.) (26) 15:30 - 15:55 Mathematical Analysis of Phase Resetting Control Mechanism during Rhythmic Movements Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.) (27) 15:55 - 16:20 Common Sub-Graph Extraction from Idiom Networks of Amino Acid Short Constituent Sequences Kentaro Maeshiro (Ryukyu Univ), Takeshi Tengan (Meio Univ), Morikazu Nakamura (Ryukyu Univ) ----- ( 15 min. ) ----- ---------------------------------------- Fri, Jan 19 PM (16:35 - 17:50) ---------------------------------------- (28) 16:35 - 17:00 Consideration of User Behavior History Collection System for Server Management Exercise Kazuki Nisimura, Hirosi Igaki (OIT) (29) 17:00 - 17:25 A Proposal of Code Correction Problem for Test Code Study in Java Programming Learning Assistant System He Sai, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ) (30) 17:25 - 17:50 An Introduction of Source Code Management System for Java Programming Learning Assistant System: JPLAS Shimpei Matsumoto, Nobuo Hunabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) # Information for speakers General Talk will have 17 minutes for presentation and 8 minutes for discussion. === Technical Committee on Mathematical Systems Science and its applications (MSS) === # FUTURE SCHEDULE: Mon, Mar 12, 2018 - Wed, Mar 14, 2018: [Fri, Jan 19] # SECRETARY: Ichiro Toyoshima (Toshiba Corp.) Tel: +81-42-333-2843 E-mail: i         ba === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Mar 6, 2018 - Wed, Mar 7, 2018: [unfixed] # SECRETARY: Yoshiki Higo (Osaka University) TEL: 06-6879-4111 FAX: 06-6879-4114 E-mail:   ist -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ Last modified: 2018-01-18 13:39:07 |
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 MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]