Vol. 38 No. 5 (2019): Computing and Informatics

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

  1009–1038

  • PDF

• Gathering Information on the Web by Consistent Entity Augmentation

  Weijuan Sun, Ning Wang

  1039–1066

  • PDF

• New Approach to Edge Detection on Different Level of Wavelet Decomposition

  Vladimir Maksimović, Branimir Jakšić, Mile Petrović, Petar Spalević, Stefan Panić

  1067–1090

  • PDF

• Overlapping Community Detection Extended from Disjoint Community Structure

  Yan Xing, Fanrong Meng, Yong Zhou, Guibin Sun, Zhixiao Wang

  1091–1110

  • PDF

• Information Technology of Generalized Model Creation of Complex Technical Objects

  Dmytro Konotop, Valeriy Zinchenko, Ivana Budinská, Wei Li

  1111–1130

  • PDF

• Mobile Edge Computing Based Immersive Virtual Reality Streaming Scheme

  Juyong Lee, Daeyoub Kim, Jihoon Lee

  1131–1148

  • PDF

• Formal Verification of Security Pattern Composition: Application to SCADA

  Fadi Obeid, Philippe Dhaussy

  1149–1180

  • PDF

• Coalgebraic Operational Semantics for an Imperative Language

  William Steingartner, Valerie Novitzka, Wolfgang Schreiner

  1181–1209

  • PDF

• 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

  1210–1236

  • PDF