Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
SWIM2011-1
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
pp. 1 - 5
SWIM2011-2
A Prototype of SCADA System using Cloud Computing Environment GAE
Yohtaro Miyanishi (ISEM)
pp. 7 - 12
SWIM2011-3
[Keynote Address]
Activities of IPA/SEC for enhancing dependability of software and systems
Joji Tateishi (IPA)
pp. 13 - 14
SWIM2011-4
A Case Study on an ICT Business Model
Akira Horimai (Figeo)
pp. 15 - 18
SWIM2011-5
A Victory Modeling Method towards Post 3.11 Socio Enterprise
-- Case Study on Energy Solution --
Masao J. Matsumoto (Sol Lab)
pp. 19 - 24
SWIM2011-6
[Special Talk]
A view of the Silicon Valley climate
-- Complementary Business Models --
Tadashi Hirose (Hitachi)
pp. 25 - 30
SWIM2011-7
Implementation of the Event-B models using Haskell
Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 31 - 36
SWIM2011-8
Modeling and Verification of Google App Engine by CPN
Hideyuki Kunieda, Yoshiyuki Shinkawa (Ryukoku Uni)
pp. 37 - 42
SWIM2011-9
Database Consistency Evaluation Using CPN
Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 43 - 48
SWIM2011-10
Feasibility Study of Patient Service Model in Global Earthquake Disaster
Tamotsu Noji, Mareto Ishikawa (Tokai Univ.), Tadashi Ogino (Mitsubishi Electric Information Technology)
pp. 49 - 54
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.