Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SWIM |
2011-02-25 10:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
The proposal of the virtualization of the medical imaging devices and processing of the image by the cloud computing Osamu Yuuki, Hiroshi Mineno, Tadanori Mizuno (Shizuoka Univ) SWIM2010-25 |
In recent years, the virtualization of devices and the cloud computing are getting popular in enterprise fields. In case... [more] |
SWIM2010-25 pp.1-6 |
SWIM |
2011-02-25 11:10 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Features of traceability in information system developments and considerations to management models Yoshihisa Udagawa (Tokyo Polytechnic Univ) SWIM2010-26 |
[more] |
SWIM2010-26 pp.7-12 |
SWIM |
2011-02-25 11:35 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
To analysis the formation system for enterprise
-- The first model prototype -- Kanae Cho SWIM2010-27 |
[more] |
SWIM2010-27 pp.13-16 |
SWIM |
2011-02-25 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Proposal about Requirements Definition Practice about Information System Construction in University Education Masahiko Ishino (FUT), Tsukasa Kudo (SIST), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Tokai Univ.) SWIM2010-28 |
About architectural upper reaches process phase of the information system, I carry out practice of the requirements defi... [more] |
SWIM2010-28 pp.17-22 |
SWIM |
2011-02-25 13:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Web Application Design Yutaka Yamada, Katsumi Wasaki (Shinshu Univ.) SWIM2010-29 |
The UML activity diagram is suitable for the expression of the work flow, and it expresses behavior at each stage of dev... [more] |
SWIM2010-29 pp.23-28 |
SWIM |
2011-02-25 13:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Keynote Address]
The Trend of Service Engineering Masanori Akiyoshi (Osaka Univ.) SWIM2010-30 |
[more] |
SWIM2010-30 pp.29-31 |
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 |
2011-02-25 15:55 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Trial Implementation of PDM onto SaaS Cloud-Computuing Environments Yoshihiko Sakashita, Yusuke Taira (SIT) SWIM2010-33 |
[more] |
SWIM2010-33 pp.45-50 |
SWIM |
2011-02-25 16:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Summary Report of SWIM Cloud Computing Trial Project 2010 Yohtaro Miyanishi (ISEM), Osamu Hirose (XWARE), Yoshihiko Sakashita (SIT), Isao Kaji, Hiroki Suguri (MYU), Nobuhiro Kataoka (Tokai University) SWIM2010-34 |
Recently, “Cloud Computing” is one of the hottest topics in information processing. It has prominent merits such as low ... [more] |
SWIM2010-34 pp.51-62 |