| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Interprise Modeling (SWIM) (Searched in: 2010)
Search Results: Keywords 'from:2010-06-04 to:2010-06-04'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SWIM | 2010-06-04 13:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | How should we go with Cloud Computing?
-- Could It be Technological Innovation for Enterprise Information Systems? -- Yohtaro Miyanishi (ISEM)  SWIM2010-1 |
Industry users expect that cloud computing is to be an innovative technology to reduce development period, to reduce TCO... [more] | SWIM2010-1 pp.1-6 |
| SWIM | 2010-06-04 13:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Feasibility Study of the Transportation Hospital Search Model in Emergency Medical Care Tamotsu Noji (Tokai Univ.), Tadashi Ogino (Mitsubishi Electric Information Tech.), Mayuko Sito (Tokai Univ.) SWIM2010-2 |
In general, an ambulance officer contacts some hospitals directly, and searches the spot of emergency care. Iｔ takes a l... [more] | SWIM2010-2 pp.7-11 |
| SWIM | 2010-06-04 13:55 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | A Basis of Enterprise Modeling ( Part 2 ) Masao J. Matsumoto (Solution Lab/Dortmund Univ/Kyushu Sangyo Univ/Tsukuba Univ) SWIM2010-3 |
Few SWIM research has touched on enterprise modeling in its principles. This is it and this paper forcusing on value cha... [more] | SWIM2010-3 pp.13-22 |
| SWIM | 2010-06-04 14:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Formalizing BPEL Processes by Process Algebra CCS Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-4 |
By using BPEL, one of the web services orchestration languages, we can construct automated business processes and the re... [more] | SWIM2010-4 pp.23-28 |
| SWIM | 2010-06-04 15:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | [Special Talk]
Fundation of Cloud Computing in Micro Soft
-- Overview of Windows Azure and its applied cases -- Kazunori Hirano (MicroSoft) SWIM2010-5 |
[more] | SWIM2010-5 pp.29-38 |
| SWIM | 2010-06-04 16:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Verification of Inter-Model Consistency between UML Activity and Sequence Diagram Yuuichi Dounishi, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2010-6 |
UML diagrams can express software structure and behavior precisely, however, no explicit definitions on inter-diagram re... [more] | SWIM2010-6 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Validity Checking for UML Models Containing Time Constraints Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-7 |
This paper discusses a validation process for UML sequence diagrams using a model checking tool UPPAAL. Since UPPAAL dea... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-06-04 16:55 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Introduction to Cloud Computing Trial Project
-- For the Prosperity of Software Industry -- Yohtaro Miyanishi (ISEM) SWIM2010-8 |
Information systems engineers should make sure of its feasibility whether cloud computing will be one of main technologi... [more] | SWIM2010-8 pp.51-56 |
[Return to Top Page]