IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 40 of 52 [Previous]  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
VLD, CAS, MSS, SIP 2012-07-03
15:00
Kyoto Kyoto Research Park A Study of Car Control and Assignment Problem in MCE Systems Using Mixed Integer Programming
Tatsuya Minegishi, Toshiyuki Miyamoto (Osaka Univ.) CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25
As the height of building grows, a request to enhance its transportation capacity has been increasing.
One of the solut... [more]
CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25
pp.133-138
SS, MSS 2012-01-26
11:45
Kochi Kochi City Culture-Plaza Cul-Port A Study for Bounded Model Checking of UML State Machines Using SMT Solvers
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-58 SS2011-43
Recently, SAT-based bounded model checking has received attention as an efficient symbolic model checking technique. It ... [more] MSS2011-58 SS2011-43
pp.21-26
SS, MSS 2012-01-26
13:15
Kochi Kochi City Culture-Plaza Cul-Port On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] MSS2011-59 SS2011-44
pp.27-32
CAS, MSS 2011-11-18
11:40
Yamaguchi Univ. of Yamaguchi A UML Subset for Design and Verification of Systems Based on SOA
Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2011-79 MSS2011-48
SOA has received attension as an architecture which enables developping information systems in a short time. For efficie... [more] CAS2011-79 MSS2011-48
pp.89-94
MSS 2011-01-20
09:35
Yamaguchi Kaikyo-Messe-Shimonoseki CST solution competition 2010 -- Optimization of Multi-Car Elevator Controllers --
Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.) CST2010-57
 [more] CST2010-57
pp.1-4
MSS 2011-01-20
13:20
Yamaguchi Kaikyo-Messe-Shimonoseki Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks
Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) CST2010-65
In many applications, effective task-allocation and task-completion strategies are crucial to achieve an optimal perform... [more] CST2010-65
pp.33-38
MSS, CAS 2010-11-18
14:55
Osaka Kansai Univ. On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2010-72 CST2010-45
Service Oriented Architecture(SOA) is an architecture style to build up a information system composing a set of system c... [more] CAS2010-72 CST2010-45
pp.41-46
MSS, CAS 2010-11-19
15:20
Osaka Kansai Univ. A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2010-80 CST2010-53
Recently, Bounded Model Checking has received attention as a SAT-based symbolic model checking technique. The basic idea... [more] CAS2010-80 CST2010-53
pp.83-88
MSS 2010-01-22
11:35
Aichi Toyota Central R&D Labs. Modular Reachability Analysis of Multi-agent Nets by Using Maria
Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.) CST2009-50
 [more] CST2009-50
pp.73-78
MSS 2010-01-22
13:50
Aichi Toyota Central R&D Labs. On Choreography Realization by Using UML Activity Diagrams
Kenji Akamatsu (Osaka Univ.), Taku Fujii (Osaka Gas Info. Syst.Res. Inst.), Toshiyuki Miyamoto (Osaka Univ.) CST2009-53
 [more] CST2009-53
pp.91-96
MSS, CAS 2009-11-27
16:40
Aichi Nagoya University On Choreography Realization by Using Petri Nets
Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (Ogis-RI) CAS2009-62 CST2009-35
A choreography defines collaboration flows which are executed among plural Web services.
The choreography realization p... [more]
CAS2009-62 CST2009-35
pp.99-104
MSS 2009-06-04
10:25
Osaka Setsunan University, Osaka Center On Reachability Analysis of Multi Agent Nets by Using Modular Petri Nets
Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.) CST2009-6
Multi agent net is a formal model description language for multi agent systems. As a variant of Petri nets, modular Petr... [more] CST2009-6
pp.31-36
MSS 2009-06-04
15:40
Osaka Setsunan University, Osaka Center A Summary of CST Solution Competition 2007 and 2008
Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2009-11
CST Solution Competition is an industry-university cooperation
activity for students, which is hosted by CST Technical... [more]
CST2009-11
pp.59-64
MSS 2009-01-29
17:25
Kanagawa Kanagawa Industrial Promotion Center Design and Implementation of Secret Sharing Distributed Database System
Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.) CST2008-50
In recent years, database security has attracted attention due to
frequent occurrence of individual information leak.
... [more]
CST2008-50
pp.51-56
CAS, MSS 2008-11-06
15:45
Osaka Osaka University Multi-Car Elevator Group Control: Algorithm Implementing Schedule Completion Time Optimization, Schedule Direction Synchronization, and Service-Oriented Parking Strategies
Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) CAS2008-49 CST2008-27
Multi-car elevator systems consist of shafts with two or more independent cars operating in them. Due to their special c... [more] CAS2008-49 CST2008-27
pp.25-30
CAS, MSS 2008-11-07
10:35
Osaka Osaka University On Constructing State Machine Diagrams from Communication Diagrams by Using Petri Nets
Toshiyuki Miyamoto, Hiroyuki Kurahata (Osaka Univ.), Taku Fujii, Ryoji Hosokawa (OGIS-RI) CAS2008-54 CST2008-32
 [more] CAS2008-54 CST2008-32
pp.53-58
MSS 2008-06-03
11:15
Aichi Nagoyo University, Noyori Conference Hall CST Solution Competition 2007 -- Detailed Results of Computational Evaluation --
Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2008-6
The CST Solution Competition 2007 gives student teams
a problem of controlling a multi-car elevator (MCE).
Each studen... [more]
CST2008-6
pp.7-12
MSS 2008-01-28
10:40
Tokushima The University of Tokushima Multi-Car Elevator Group Controller: Implementation of a Schedule Completion Time Optimization Algorithm with a Parking Strategy for Service Coverage Protection
Alex Valdivielso, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) CST2007-36
Multi-car elevator (MCE) systems present inherent characteristics, which make the implementation of traditional elevator... [more] CST2007-36
pp.7-12
MSS 2008-01-29
13:55
Tokushima The University of Tokushima A Study on Applying Reinforcement Learning to a Safety Critical System
Shinichi Fujiwara, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) CST2007-53
Reinforcement Learning have been attracting many researchers attention as a framework of autonomous cooperative behavior... [more] CST2007-53
pp.41-46
MSS, CAS 2007-11-30
09:30
Niigata Niigata University On Implementation of Secret Sharing Distributed Database System using Multi Agent Nets
Shota Minakami, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ) CAS2007-73 CST2007-24
In recent years, need for distributed database system has increased
due to growing amount and types of data.
Reliabi... [more]
CAS2007-73 CST2007-24
pp.1-6
 Results 21 - 40 of 52 [Previous]  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


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