| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE, SC | 2018-11-10 14:00 |
Hyogo | An Investigation and Analysis of UML State Machine Diagrams in Large Classes Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.)  KBSE2018-41 SC2018-36 |
In this paper, we reports on the result of an investigation and analysis of many answer models for a modeling task towar... [more] | KBSE2018-41 SC2018-36 pp.77-82 |
|
| QIT (2nd) |
2018-06-04 14:50 |
Hiroshima | ICCH Ran | [Invited Talk]
Physics of Quantum-to-Classical Crossover and Quantum Neural Network Yoshihisa Yamamoto (JST/Stanford Univ.) |
This paper will discuss the novel quantum computing model, dissipative quantum computation, and the physical implementat... [more] | |
| DC | 2018-02-20 11:40 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | A test generation method based on k-cycle testing for finite state machines Yuya Kinoshita, Toshinori Hosokawa (Nihon Univ.), Hideo Fujiwara (Osaka Gakuin Univ.) DC2017-81 |
Recent advances in semiconductor technologies have resulted in VLSI circuit density and complexity. As a result, efficie... [more] | DC2017-81 pp.25-30 |
| KBSE | 2017-09-19 12:35 |
Tokyo | Doshisha Univ. Tokyo Branch Office | A load balancing mechanism using shared state for tree processing in actor model Kouhei Sakurai (Kanazawa Univ.) KBSE2017-21 |
For machine learning and data mining, there are methods that deal with tree structure, and also their parallelization an... [more] | KBSE2017-21 pp.1-6 |
| CCS | 2017-08-11 10:30 |
Hokkaido | Bibai Onsen Yu-rinkan | Consideration on separation property of impulse wireless sensor networks Daito Kamei, Naoki Wakamiya (Osaka univ.) CCS2017-15 |
In order to solve the problem of device cost and power consumption in wireless sensor networks, we have proposed new sen... [more] | CCS2017-15 pp.31-36 |
| KBSE | 2017-01-23 12:35 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) KBSE2016-31 |
We have actualized SMart-Learning that is a tool set to learn a state machine diagram employing domain specific language... [more] | KBSE2016-31 pp.1-6 |
| KBSE | 2017-01-23 13:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) KBSE2016-32 |
The purpose of this study is to explore the suitable learning environment for conceptual modeling with UML. Our students... [more] | KBSE2016-32 pp.7-12 |
| KBSE, SS, IPSJ-SE [detail] | 2016-07-13 15:10 |
Hokkaido | SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] | SS2016-5 KBSE2016-11 pp.49-54 |
|
| SS, MSS | 2016-01-25 10:20 |
Ishikawa | Shiinoki-Geihin-Kan | Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] | MSS2015-37 SS2015-46 pp.13-18 |
| MSS, CAS, SIP, VLD | 2015-06-17 09:45 |
Hokkaido | Otaru University of Commerce | Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] | CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
| SS, KBSE | 2013-07-25 16:40 |
Hokkaido | Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using UML state machine diagrams. We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
|
| VLD | 2012-03-06 15:05 |
Oita | B-con Plaza | High-Level Synthesis for Mixed Behavioral-Level/RTL Design Descriptions Hiroaki Yoshida, Masahiro Fujita (Univ. of Tokyo) VLD2011-128 |
It is widely known that high-level synthesis technology can improve the design productivity dramatically by raising the ... [more] | VLD2011-128 pp.49-54 |
| 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 |
| AI | 2011-11-21 10:00 |
Fukuoka | State recognition of remote classrooms using fuzzy classifiers
-- Toward ubiquitous classrooms -- Atsushi Inoue, Isaac Schlittenhart, Maxwell Yardley (Eastern Washington Univ.) AI2011-17 |
Our ultimate goal is to establish technologies and guidelines so that remote classrooms are arranged ubiquitously. Samp... [more] | AI2011-17 pp.1-5 |
|
| 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 |
| RECONF | 2011-09-26 14:20 |
Aichi | Nagoya Univ. | Development Modeling Compiler and Operation Test for the Hardware Design Generate HDL from UML State Machine Diagram Daiki Kano, Ryota Yamazaki (Tokai Univ.), Naohiko Shimizu (Tokai Univ./IP ARCH, Inc.) RECONF2011-27 |
This paper describes the UML modeling compiler and operation test using that．The UML modeling compiler performs automati... [more] | RECONF2011-27 pp.31-36 |
| NC, IPSJ-BIO [detail] | 2011-06-24 16:30 |
Okinawa | 50th Anniversary Memorial Hall, University of the Ryukyus | Solving POMDPs using Restricted Boltzmann Machines with Echo State Networks Makoto Otsuka, Junichiro Yoshimoto, Stefan Elfwing, Kenji Doya (OIST) NC2011-19 |
A partially observable Markov decision process (POMDP) can be solved in a model-based way using explicit knowledge of th... [more] | NC2011-19 pp.143-148 |
| NC, MBE (Joint) |
2011-03-08 13:20 |
Tokyo | Tamagawa University | Optimal Design Method of Parameter Distribution in Neural Network Learning Koshi Yamada, Sumio Watanabe (titech) NC2010-175 |
To statistical learning machines with hierarchical structure such as layered neural networks, statistical theory of regu... [more] | NC2010-175 pp.283-288 |
| SWIM | 2011-02-25 15:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Verifying UML Inter-Model Consistency Using CPN Masato Nomura, Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-31 |
UML state machine diagrams, sequence diagrams, and activity diagrams are often used in combination together to model the... [more] | SWIM2010-31 pp.33-38 |
[Return to Top Page]