| 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 # | |
| NS, IN (Joint) |
2016-03-04 14:45 |
Miyazaki | Phoenix Seagaia Resort | Concurrent Evaluation for Data Integrity and Performance of Google App Engine Using A Unified Colored Petri Net Model Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.)  IN2015-151 |
PaaS type cloud services like Google App Engine (GAE) have advantages in providing us with the capability of flexible ap... [more] | IN2015-151 pp.253-258 |
| SWIM | 2015-12-05 14:50 |
Tokyo | Tokyo polytechnic Univ. | Performance Prediction for GAE Using the UPPAAL Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2015-15 |
Recently, PaaS type cloud services like Google App Engine (GAE) are becoming a candidate for the system processing plat... [more] |
SWIM2015-15 pp.19-24 |
| SC | 2015-03-27 15:05 |
Fukushima | Aizu Univ. | Evaluating Data Integrity of BASE Transactions Using VDM++ Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SC2014-18 |
In cloud computing environments, especially in public cloud environments, ``BASE" principle is used for data integrity, ... [more] | SC2014-18 pp.25-30 |
| SWIM | 2014-08-21 14:35 |
Kyoto | Ryukoku Univ.Ouniya Canvas | Validation of UML Timing Diagrams Using Timed Automata Kengo Kajimura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-11 |
Originally, UML had mainly been widely used as a model description language for analyzing, designing, manufacturing and ... [more] | SWIM2014-11 pp.17-21 |
| SWIM | 2014-08-21 15:00 |
Kyoto | Ryukoku Univ.Ouniya Canvas | On Verification of Inter-Model Consistency between UML Class and Activity Diagrams with VDM++ and CPN Masayoshi Kohara, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-12 |
UML (Unified Modeling Language) has been established as a standard modeling method for large scale software development.... [more] | SWIM2014-12 pp.23-28 |
| SWIM | 2014-08-21 15:40 |
Kyoto | Ryukoku Univ.Ouniya Canvas | A Comprehensive Workbench for BASE Transaction Evaluation Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-13 |
It has been considered that transaction processing is not suitable for cloud. One of the main reasons is the differences... [more] | SWIM2014-13 pp.29-34 |
| SWIM | 2014-08-21 16:05 |
Kyoto | Ryukoku Univ.Ouniya Canvas | Data Integrity in BASE Transactions Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-14 |
Google App Engine (GAE) is one of the most popular PAAS (Platform As A Service) type cloud computing environments, whic... [more] |
SWIM2014-14 pp.35-39 |
| SWIM | 2013-08-21 14:00 |
Miyagi | Miyagi Univ. Satellite Campus | Performance evaluation for transaction processing in cloud computing environments Hideyuki Kunieda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2013-6 |
Cloud computing environments are widely accepted as computing platforms. However, it seems more difficult to estimate th... [more] | SWIM2013-6 pp.1-7 |
| SWIM | 2013-08-21 14:30 |
Miyagi | Miyagi Univ. Satellite Campus | Consistency verification between UML class and statemachine diagrams using CPN Masayoshi Kohara, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2013-7 |
UML (Unified Modeling Language), which is used for analysis and design in software development, is recently recognize as... [more] | SWIM2013-7 pp.9-13 |
| SWIM | 2013-08-21 15:00 |
Miyagi | Miyagi Univ. Satellite Campus | Data Integrity in BASE Transactions Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2013-8 |
In cloud computing environments, traditional ACID properties are no more used, which intend to ensure rigorous data intr... [more] | SWIM2013-8 pp.15-20 |
| SWIM | 2012-11-30 10:35 |
Tokyo | Tokai Univ. Takanawa Campus(Tokyo) | Cloud Transaction Equivalence Evaluation Using CPN Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2012-15 |
Cloud computing environments provide us with different form of transaction processing platforms, and therefore we need a... [more] | SWIM2012-15 pp.1-6 |
| SWIM | 2012-11-30 11:00 |
Tokyo | Tokai Univ. Takanawa Campus(Tokyo) | Event-B Based Development for Mobile Applications Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2012-16 |
The recent increasing complexity of software limits the improvement of its reliability and productivity through the trad... [more] | SWIM2012-16 pp.7-12 |
| SWIM | 2012-05-26 13:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | IIR (Interprise Innovation Rationale)
-- A View -- Masao J. Matsumoto (Tsukuba Univ.), Nobuhiro Kataoka (Tokai Univ.), Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2012-1 |
Interprises have been of tough for the recent two decades. This paper explores rationale for interprise innovation. . [more] | SWIM2012-1 pp.1-8 |
| SWIM | 2011-11-18 16:25 |
Tokyo | Tokai Univ.(Takanawa) | Consistency Analysis between UML State Machine and Activity Diagrams Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-29 |
UML activity diagram represents the behavior of a process including interactions between objects. On the other hand, sta... [more] | SWIM2011-29 pp.65-70 |
| SWIM | 2011-06-17 16:25 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Implementation of the Event-B models using Haskell Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-7 |
Formal methods in early development stages are recognized more effective for quality and productivity of software, in co... [more] | SWIM2011-7 pp.31-36 |
| SWIM | 2011-06-17 16:50 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Modeling and Verification of Google App Engine by CPN Hideyuki Kunieda, Yoshiyuki Shinkawa (Ryukoku Uni) SWIM2011-8 |
Cloud computing can easily scale up the capacity of distributed systems, enabling rapid massive data transfer which trad... [more] | SWIM2011-8 pp.37-42 |
| SWIM | 2011-06-17 17:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Database Consistency Evaluation Using CPN Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-9 |
There are various restrictions on transaction processing in cloud computing environments, which have not been imposed in... [more] | SWIM2011-9 pp.43-48 |
| 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 |
| SWIM | 2011-02-25 15:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | CPN Based Transaction Model Expression and Verification Kazuki Tanaka, Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-32 |
Various problems are pointed out in migrating traditional ACID transactions into cloud environments, caused by the diffe... [more] | SWIM2010-32 pp.39-44 |
| SWIM | 2010-11-19 15:25 |
Tokyo | Tokai Univ. Takanawa Campus(Tokyo) | Verification of UML Sequence Diagrams with Time Constraints Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-23 |
Verification of the system specification is usually performed independently from three major different viewpoints, that ... [more] | SWIM2010-23 pp.39-44 |
[Return to Top Page]