1009 | -- | 1038 | Ha Thi Thu Doan, Kazuhiro Ogata 0001. A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property |
1039 | -- | 1066 | Weijuan Sun, Ning Wang. Gathering Information on the Web by Consistent Entity Augmentation |
1067 | -- | 1090 | Vladimir Maksimovic, Branimir Jaksic, Mile Petrovic, Petar C. Spalevic, Stefan Panic. New Approach to Edge Detection on Different Level of Wavelet Decomposition |
1091 | -- | 1110 | Yan Xing, Fanrong Meng, Yong Zhou 0003, Guibin Sun, Zhixiao Wang. Overlapping Community Detection Extended from Disjoint Community Structure |
1111 | -- | 1130 | Dmytro Konotop, Valeriy Zinchenko, Ivana Budinská, Wei Li. Information Technology of Generalized Model Creation of Complex Technical Objects |
1131 | -- | 1148 | Juyong Lee, Daeyoub Kim, Jihoon Lee. Mobile Edge Computing Based Immersive Virtual Reality Streaming Scheme |
1149 | -- | 1180 | Fadi Obeid, Philippe Dhaussy. Formal Verification of Security Pattern Composition: Application to SCADA |
1181 | -- | 1209 | William Steingartner, Valerie Novitzká, Wolfgang Schreiner. Coalgebraic Operational Semantics for an Imperative Language |
1210 | -- | 1236 | Nayden Chivarov, Denis Chikurtev, Stefan Chivarov, Matús Pleva, Stanislav Ondás, Jozef Juhár, Kaloyan Yovchev. Case Study on Human-Robot Interaction of the Remote-Controlled Service Robot for Elderly and Disabled Care |