IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 111, Number 406

Software Science

Workshop Date : 2012-01-26 - 2012-01-27 / Issue Date : 2012-01-19

[PREV] [NEXT]

[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

SS2011-39
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)
p. 1

SS2011-40
A smartphone-based programming environment for a physical computing platform
Yuka Kamimura, Yoshiaki Takata (KUT)
pp. 3 - 8

SS2011-41
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.)
pp. 9 - 14

SS2011-42
Architectual Point Mapping for Bidirectional Traceability between Design and Code
Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
pp. 15 - 20

SS2011-43
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
pp. 21 - 26

SS2011-44
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.)
pp. 27 - 32

SS2011-45
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 33 - 38

SS2011-46
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls
Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 39 - 44

SS2011-47
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.)
pp. 45 - 49

SS2011-48
On Rewriting Induction for Simply-typed Term Rewriting Systems
Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.)
pp. 51 - 56

SS2011-49
On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems
Kazuhiro Ooi, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 57 - 62

SS2011-50
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.)
pp. 63 - 68

SS2011-51
[Invited Talk] Towards Mathematical Foundation of Cyber-Physical Systems
Yuichi Tazaki (Nagoya Univ)
pp. 69 - 72

SS2011-52
[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)
pp. 73 - 77

SS2011-53
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance
Koji Takahashi (Tokyo Tech.)
pp. 79 - 84

SS2011-54
Control of Uncertain Networked Systems with Multiple Random Delays
Koichi Kobayashi, Kunihiko Hiraishi (JAIST)
pp. 85 - 88

SS2011-55
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)
pp. 89 - 94

SS2011-56
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems
Shuhei Nakata, Shigemasa Takai (Osaka Univ.)
pp. 95 - 100

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan