Content 5/2019

Vol. 38, 2019, No. 5

This number contains 9 articles.

A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property
Ha Thi Thu Doan, Kazuhiro Ogata
pp. 1009–1038, doi: 10.31577/cai_2019_5_1009
Gathering Information on the Web by Consistent Entity Augmentation
Weijuan Sun, Ning Wang
pp. 1039–1066, doi: 10.31577/cai_2019_5_1039
New Approach to Edge Detection on Different Level of Wavelet Decomposition
Vladimir Maksimović, Branimir Jakšić, Mile Petrović, Petar Spalević, Stefan Panić
pp. 1067–1090, doi: 10.31577/cai_2019_5_1067
Overlapping Community Detection Extended from Disjoint Community Structure
Yan Xing, Fanrong Meng, Yong Zhou, Guibin Sun, Zhixiao Wang
pp. 1091–1110, doi: 10.31577/cai_2019_5_1091
Information Technology of Generalized Model Creation of Complex Technical Objects
Dmytro Konotop, Valeriy Zinchenko, Ivana Budinská, Wei Li
pp. 1111–1130, doi: 10.31577/cai_2019_5_1111
Mobile Edge Computing Based Immersive Virtual Reality Streaming Scheme
Juyong Lee, Daeyoub Kim, Jihoon Lee
pp. 1131–1148, doi: 10.31577/cai_2019_5_1131
Formal Verification of Security Pattern Composition: Application to SCADA
Fadi Obeid, Philippe Dhaussy
pp. 1149–1180, doi: 10.31577/cai_2019_5_1149
Coalgebraic Operational Semantics for an Imperative Language
William Steingartner, Valerie Novitzka, Wolfgang Schreiner
pp. 1181–1209, doi: 10.31577/cai_2019_5_1181
Case Study on Human-Robot Interaction of the Remote-Controlled Service Robot for Elderly and Disabled Care
Nayden Chivarov, Denis Chikurtev, Stefan Chivarov, Matus Pleva, Stanislav Ondas, Jozef Juhar, Kaloyan Yovchev
pp. 1210–1236, doi: 10.31577/cai_2019_5_1210