Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, SS |
2013-03-06 13:20 |
Fukuoka |
Shikanoshima |
Towards Personalization of Home Electricity Peak Shaving Application Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.) MSS2012-59 SS2012-59 |
We have previously proposed a smartphone application, named Peak Cutter. Collaborating with a home network system(HNS),... [more] |
MSS2012-59 SS2012-59 pp.1-6 |
MSS, SS |
2013-03-06 13:40 |
Fukuoka |
Shikanoshima |
Implementing Materialized View of Large-Scale Power Consumption Log Using MapReduce Yuki Ise, Shintaro Yamamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) MSS2012-60 SS2012-60 |
The smart city provides various value-added services by collecting large-scale data from houses and infrastructures with... [more] |
MSS2012-60 SS2012-60 pp.7-12 |
MSS, SS |
2013-03-06 14:00 |
Fukuoka |
Shikanoshima |
A Study on Personalized Visualization Service of Energy Consumption in Home Network System Yuichi Watanabe, Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) MSS2012-61 SS2012-61 |
The visualization of energy consumption is a useful method that prompts people to do energy-saving
behaviors. Many syst... [more] |
MSS2012-61 SS2012-61 pp.13-18 |
MSS, SS |
2013-03-06 14:30 |
Fukuoka |
Shikanoshima |
Parameter behavior of significant words selection in spam mail classification using a machine learning technique with tf-idf method Shintaro Ishizaki, Yuki Hashimura, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.) MSS2012-62 SS2012-62 |
[more] |
MSS2012-62 SS2012-62 pp.19-24 |
MSS, SS |
2013-03-06 14:50 |
Fukuoka |
Shikanoshima |
A Support Tool for Understanding Programs and Visualizing Algorithms
-- Creating Flowcharts Based on Hierarchical Graph Drawings -- Rei Takahara, Fumiya Makimori, Masahiro Yamauchi (Kinki Univ.), Daisuke Takafuji, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) MSS2012-63 SS2012-63 |
The purpose of this paper is to make a support tool for understanding programs or algorithms written by the programming ... [more] |
MSS2012-63 SS2012-63 pp.25-30 |
MSS, SS |
2013-03-06 15:10 |
Fukuoka |
Shikanoshima |
Revisiting Delta-Notch signalling in Drosophila through logical modelling and analysis Mayuka Onishi, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) MSS2012-64 SS2012-64 |
[more] |
MSS2012-64 SS2012-64 pp.31-36 |
MSS, SS |
2013-03-06 15:30 |
Fukuoka |
Shikanoshima |
Consideration in Laboratory Assignment Problem with Various Criteria Saki Nakamura, Shinya Nogami (Tokyo Univ. of Science) MSS2012-65 SS2012-65 |
[more] |
MSS2012-65 SS2012-65 pp.37-42 |
MSS, SS |
2013-03-06 15:50 |
Fukuoka |
Shikanoshima |
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving
-- System Architecture and Experimental Results -- Naoshi Uchihira, Kentaro Torii (Toshiba), Yuji Hirabayashi (Shimizu Corporation), Sunseong Choe, Kunihiko Hiraishi (JAIST), Tetsuro Chino (Toshiba), Taro Sugihara (JAIST) MSS2012-66 SS2012-66 |
We have been developing a temporal-spatial collaboration system by smart voice messaging in nursing and caregiving as on... [more] |
MSS2012-66 SS2012-66 p.43 |
MSS, SS |
2013-03-06 16:20 |
Fukuoka |
Shikanoshima |
Multiple Programming Languages Support Customizable Bug Localization Framework Kiyofumi Shimojo, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) MSS2012-67 SS2012-67 |
Bug localization technique is effectual approach for locating software bugs using the number of failing and passing test... [more] |
MSS2012-67 SS2012-67 pp.45-50 |
MSS, SS |
2013-03-06 16:40 |
Fukuoka |
Shikanoshima |
Towards detection of automatically undetectable violations focused on the locality of coding standards violations Yasunari Takai (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Shinichiro Yamamoto (Aichi Pref. Univ.), Kiyoshi Agusa (Kyoto Univ.) MSS2012-68 SS2012-68 |
In the field of software development, developers use coding standards. They are rules which should be obeyed in coding. ... [more] |
MSS2012-68 SS2012-68 pp.51-56 |
MSS, SS |
2013-03-06 17:00 |
Fukuoka |
Shikanoshima |
Linking Fixed Bug Report to Source Code Using N-gram Hiroki Kawai, Hidetake Uwano (NNCT), Akinori Ihara (NAIST) MSS2012-69 SS2012-69 |
This paper proposes a method to recommend the developer the source code from a bug report. The proposed method combines ... [more] |
MSS2012-69 SS2012-69 pp.57-62 |
MSS, SS |
2013-03-06 17:20 |
Fukuoka |
Shikanoshima |
Automatic Generation of Error Correction Questions for Programming Learning Yoshinari Hachisu, Atsushi Yoshida (Nanzan Univ.) MSS2012-70 SS2012-70 |
We propose a method for automatic generation of error correction
questions for learning programming.
Error correction ... [more] |
MSS2012-70 SS2012-70 pp.63-68 |
MSS, SS |
2013-03-06 17:40 |
Fukuoka |
Shikanoshima |
Propagation Probability of Data Dependency for Fault Localization Sanae Muramatsu (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.) MSS2012-71 SS2012-71 |
One of the most tedious and time-consuming tasks of debugging is fault localization (FL), which is locating root cause o... [more] |
MSS2012-71 SS2012-71 pp.69-74 |
MSS, SS |
2013-03-07 09:30 |
Fukuoka |
Shikanoshima |
Discrete Abstraction of Stochastic Hybrid Systems
-- Application to Analysis of Genetic Toggle Switches -- Yasuhito Fukui, Koichi Kobayashi, Kunihiko Hiraishi (JAIST) MSS2012-72 SS2012-72 |
In this paper, for a class of stochastic hybrid systems, a computation method of discrete abstractions is proposed based... [more] |
MSS2012-72 SS2012-72 pp.75-79 |
MSS, SS |
2013-03-07 09:50 |
Fukuoka |
Shikanoshima |
An Application of Game Automaton to Quantitative Supervisory Control Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.) MSS2012-73 SS2012-73 |
This paper formulates the optimal supervisory control problem of quantitative discrete event systems (DESs) modeled by w... [more] |
MSS2012-73 SS2012-73 pp.81-84 |
MSS, SS |
2013-03-07 10:10 |
Fukuoka |
Shikanoshima |
Low Address Collision Rate in Multiple Hash Tables Eleazar Jimenez Serrano (Kyushu Univ.) MSS2012-74 SS2012-74 |
[more] |
MSS2012-74 SS2012-74 pp.85-89 |
MSS, SS |
2013-03-07 10:30 |
Fukuoka |
Shikanoshima |
Extract Superclass Problem of Workflow Nets and a Solution Method Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2012-75 SS2012-75 |
In this paper, we try to extract a common process from two workflow nets $N_{x}$ and $N_{y}$.
Business continuity requi... [more] |
MSS2012-75 SS2012-75 pp.91-96 |
MSS, SS |
2013-03-07 11:00 |
Fukuoka |
Shikanoshima |
Change based model considering temporal locality of Interaction histories Hironori Maruoka (Nagoya Univ.), Takashi Kobayasi (Nagoya Univ./Tokyo Inst. of Tech.), Kiyoshi Agusa (Kyoto Univ.) MSS2012-76 SS2012-76 |
In this paper, we present the method to calculate dependence from developer's interaction histories, and recommend artif... [more] |
MSS2012-76 SS2012-76 pp.97-102 |
MSS, SS |
2013-03-07 11:20 |
Fukuoka |
Shikanoshima |
Multicore scheduling analysis with task migration Takayuki Nakadozono, Shoji Yuen (Nagoya Univ.) MSS2012-77 SS2012-77 |
We extend the task automata to be capable to handle ’taskmigration’. The task automata has been proposed as a general be... [more] |
MSS2012-77 SS2012-77 pp.103-108 |
MSS, SS |
2013-03-07 11:40 |
Fukuoka |
Shikanoshima |
On Composing the Simplex Method and Gomory Cut for Deriving Integer Assignments Masaaki Fushimi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) MSS2012-78 SS2012-78 |
The simplex method is one of the methods to derive rational assignments from linear constraints on ratiolals. It is know... [more] |
MSS2012-78 SS2012-78 pp.109-114 |