Fri, Jun 17
10:40 - 17:40 |
| |
- |
|
| (1) |
10:45-11:10 |
Feasibility Study of Patient Service Model in Global Earthquake Disaster |
Tamotsu Noji, Mareto Ishikawa (Tokai Univ.), Tadashi Ogino (Mitsubishi Electric Information Technology) |
| (2) |
11:10-11:35 |
Today's report for Business Continuity Management and the imaging model of 'Continuity Management' for the future
-- From the view point of human cognition and modeling -- |
Kanae Cho |
| (3) |
11:35-12:00 |
A Prototype of SCADA System using Cloud Computing Environment GAE |
Yohtaro Miyanishi (ISEM) |
| |
12:00-13:00 |
Break ( 60 min. ) |
| (4) |
13:00-13:10 |
|
| (5) |
13:10-14:10 |
[Keynote Address]
Activities of IPA/SEC for enhancing dependability of software and systems |
Joji Tateishi (IPA) |
| |
14:10-14:20 |
Break ( 10 min. ) |
| (6) |
14:20-14:45 |
A Case Study on an ICT Business Model |
Akira Horimai (Figeo) |
| (7) |
14:45-15:10 |
A Victory Modeling Method towards Post 3.11 Socio Enterprise
-- Case Study on Energy Solution -- |
Masao J. Matsumoto (Sol Lab) |
| (8) |
15:10-16:10 |
[Special Talk]
A view of the Silicon Valley climate
-- Complementary Business Models -- |
Tadashi Hirose (Hitachi) |
| |
16:10-16:25 |
Break ( 15 min. ) |
| (9) |
16:25-16:50 |
Implementation of the Event-B models using Haskell |
Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| (10) |
16:50-17:15 |
Modeling and Verification of Google App Engine by CPN |
Hideyuki Kunieda, Yoshiyuki Shinkawa (Ryukoku Uni) |
| (11) |
17:15-17:40 |
Database Consistency Evaluation Using CPN |
Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.) |
9
