Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
SC2014-5
ClouT Project: Enabler of Smart Cities by Integration of IoT and Cloud
Fuyuki Ishikawa (NII), Jin Nakazawa (Keio Univ.)
pp. 1 - 2
SC2014-6
Formal verification for service composition of formaly verified services using different mechanisms
Kazuhiro Funakoshi, Shigeru Hosono (NEC)
pp. 49 - 54
SC2014-7
Prototype of Desktop Virtualization for Software Development Exercise
Hiroshi Igaki (Osaka Univ.), Shinsuke Matsumoto, Sachio Saiki (Kobe Univ.), Naoki Fukuyasu (Wakayama Univ.), Shinji Kusumoto (Osaka Univ.)
pp. 55 - 60
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.