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 1 - 20 of 24  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS 2010-01-22
09:10
Aichi Toyota Central R&D Labs. A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets
Shingo Yamaguchi, Shinji Hamano, Yuki Kuroda, Minoru Tanaka (Yamaguchi Univ.) CST2009-45
Workflow management is to define a flow of work as a workflow,and to automate its instances.
In a single workflow, ther... [more]
CST2009-45
pp.45-48
MSS, CAS 2009-11-27
15:50
Aichi Nagoya University On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets
Yuki Kuroda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ) CAS2009-60 CST2009-33
Workflow nets are Petri nets representing workflows. In this paper,
we propose a problem to transform a free choice wo... [more]
CAS2009-60 CST2009-33
pp.89-93
MSS 2009-06-04
14:50
Osaka Setsunan University, Osaka Center A Composition Rule under Behavioral Inheritance and Soundness for Workflow Nets Sharing Actions
Yuki Watanabe, Shingo Yamaguchi, Ryo Ikeda, Minoru Tanaka (Yamaguchi Univ.) CST2009-9
 [more] CST2009-9
pp.49-52
MSS 2009-01-29
15:25
Kanagawa Kanagawa Industrial Promotion Center On Model Checking Method for Soundness Verification of Workflow Nets
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-46
A WF-net should have a property, called soundeness, which guarantees a logical correctness of the modeled workflow. In t... [more] CST2008-46
pp.27-32
MSS 2009-01-29
15:50
Kanagawa Kanagawa Industrial Promotion Center On Analysis of Dynamic Change to Chained and Nested Interworkflows
Tetsushi Narui, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CST2008-47
This paper deals with analysis of dynamic change of workflows to
interworkflows. It is known that
if the interoperabil... [more]
CST2008-47
pp.33-38
MSS 2008-08-04
13:50
Shizuoka Shizuoka University (Hamamatsu Campus), Faculty of Engineering On Petri-Net Based Check for Activity Diagrams of Device Drivers
Taro Yamada, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-14
UML/Activity diagrams are being used to design device drivers these days. In this paper, we propose a Petri net based pl... [more] CST2008-14
pp.11-16
MSS 2008-06-03
11:40
Aichi Nagoyo University, Noyori Conference Hall A Proposal of Soundization Problem of WF-Nets and a Consideration Its Sub-problem under Protocol Inheritance
Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-7
 [more] CST2008-7
pp.13-18
MSS 2008-01-29
14:45
Tokushima The University of Tokushima On Verification of Marking-Dependent Terminacy for SWITCH-Less Program Nets
Keisuke Komiya, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CST2007-55
In this paper, we discuss terminacy at the initial token distribution for (dataflow) program nets.
Ge et al. have propo... [more]
CST2007-55
pp.53-58
MSS, CAS 2007-11-29
13:25
Niigata Niigata University A Heuristic Algorithm to Compute Parallel Degree of Well-Structured Workflow Nets by Considering Longest Path
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CAS2007-68 CST2007-19
In this paper, we propose a heuristic algorithm to compute parallel degree, PARAdeg, of a well-structured WF-net by cons... [more] CAS2007-68 CST2007-19
pp.7-10
MSS 2007-08-31
13:25
Shimane Shimane University On Soundness Verification of Workflow Nets Using the SPIN Model Checker
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2007-12
Workflow nets (WF-nets) are Petri nets for modeling workflows, and are utilized to verification and performance evaluati... [more] CST2007-12
pp.7-12
SS 2007-02-01
16:15
Aichi Aichi Prefectural Univ. On Delegation Based Design Method and Model Checking Method of Interrupt Processing
Yoshinori Sugata, Shingo Yamaguchi, Ryuuich Kurisu, Minoru Tanaka (Yamaguchi Univ.)
 [more] SS2006-77
pp.37-42
MSS 2007-01-26
13:50
Tokyo Kikai-Shinko-Kaikan Bldg. On Structural Analysis and Approximate Computation of PARAdeg for Well-Structured Workflow Nets
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
 [more] CST2006-40
pp.13-18
PRMU 2006-12-15
15:45
Fukui   An approach to Touch Screen using Image Distortion in Homograph
Toru Futami (Yamaguchi Univ.), Makio Ishihara (Fukuoka Institute of Tech.), Minoru Tanaka (Yamaguchi Univ.)
 [more] PRMU2006-181
pp.61-66
CAS, MSS 2006-11-20
11:05
Nagasaki Nagasaki Univ. On Evaluation and Application of PARAdeg of Acyclic Structured Program Nets
Tomohiro Takai, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
 [more] CAS2006-44 CST2006-20
pp.13-18
ET 2006-11-18
11:25
Ishikawa   Learning Support System Based on Estimated Solving Process for Quadratic Equation
Takashi Moriwaki (Yamaguchi Univ.), Akemi Takamoto (Ube Frontier Univ.), Minoru Tanaka (Yamaguchi Univ.)
 [more] ET2006-55
pp.25-30
MSS 2006-07-26
14:15
Kyoto Kyoto Institute of Technology On Computation Complexity of Worst Change Time and Performance Analysis for Abort Dynamic Changes of State Machine Workflow Nets
Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
 [more] CST2006-17
pp.43-48
MSS 2006-01-27
10:10
Kanagawa Toshiba Kagaku-Kan On Soundness and Parallel Degree of Workflow Nets
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
This paper discusses soundness and parallel degree of workflow nets (WF-nets).
We first define parallel degree that is... [more]
CST2005-41
pp.13-18
ET 2005-12-17
15:40
Fukuoka   Attendance System using QR Code Reader Function of Cellular Phone
Yoshikuni Kurosaki, Joji Kariya, Minoru Tanaka (Yamaguchi Univ.)
In attendance by the lecture of the university, we aim at development of the system which lecturer takes attendance easi... [more] ET2005-70
pp.75-80
ET 2005-10-15
16:35
Hiroshima   Development and Evaluation of Learning Support System based on Learner's Intertest
Yuuki Terada (Graduate school of Yamaguchi Univ.), Minoru Tanaka (Yamaguchi Univ.), Akemi Takamoto (Ube Frontier Univ.)
It is desired for a learning support system to provide such ways that learners could keep up their motivation of learnin... [more] ET2005-50
pp.69-74
MSS 2005-08-22
13:00
Aichi Aichi Prefectural University On Approximate Computation of MaxPARAdeg for Acyclic Well-Structured Data-Flow Program Nets
Tomohiro Takai, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ)
This paper discusses approximate computation of the maximum degree of parallelism, denoted $MaxPARAdeg$, for a subclass ... [more] CST2005-14
pp.1-6
 Results 1 - 20 of 24  /  [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