Computing and Informatics
Article List
Volume 38, 2019, No. 5
ISSN 1335-9150 (print)
ISSN 2585-8807 (online)
Content:
- Doan, H. - Ogata, K.: A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. (p. 1009)
- Sun, W. - Wang, N.: Gathering Information on the Web by Consistent Entity Augmentation. (p. 1039)
- Maksimović, V. - Jakšić, B. - Petrović, M. - Spalević, P. - Panić, S.: New Approach to Edge Detection on Different Level of Wavelet Decomposition. (p. 1067)
- Xing, Y. - Meng, F. - Zhou, Y. - Sun, G. - Wang, Z.: Overlapping Community Detection Extended from Disjoint Community Structure. (p. 1091)
- Konotop, D. - Zinchenko, V. - Budinská, I. - Li, W.: Information Technology of Generalized Model Creation of Complex Technical Objects. (p. 1111)
- Lee, J. - Kim, D.: Mobile Edge Computing Based Immersive Virtual Reality Streaming Scheme. (p. 1131)
- Obeid, F. - Dhaussy, P.: Formal Verification of Security Pattern Composition: Application to SCADA. (p. 1149)
- Steingartner, W. - Novitzká, V. - Schreiner, W.: Coalgebraic Operational Semantics for an Imperative Language. (p. 1181)
- Chivarov, N. - Chikurtev, D. - Chivarov, S. - Pleva, M. - Ondas, S. - Juhár, J. - Yovchev, K.: Case Study on Human-Robot Interaction of the Remote-Controlled Service Robot for Elderly and Disabled Care. (p. 1210)