|
|
|
Xinya Lei, Yuewei Wang, Wei Han and Weijing Song
Coastal cities are increasingly vulnerable to urban storm surge hazards and the secondary hazards they cause (e.g., coastal flooding). Accurate representation of the spatio-temporal process of hazard event development is essential for effective emergency...
ver más
|
|
|
|
|
|
|
Tao Feng, Taining Chen and Xiang Gong
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and analy...
ver más
|
|
|
|
|
|
|
Gustavo Rocha, Luís Mateus and Victor Ferreira
Building Information Modeling (BIM) has emerged as a revolutionary tool in the domain of architectural conservation and documentation. When combined with terrestrial 3D laser scanning, it presents a powerful method to capture and represent the intricate ...
ver más
|
|
|
|
|
|
|
Milo? Bogdanovic, Jelena Kocic and Leonid Stoimenov
Language is a unique ability of human beings. Although relatively simple for humans, the ability to understand human language is a highly complex task for machines. For a machine to learn a particular language, it must understand not only the words and r...
ver más
|
|
|
|
|
|
|
Deshuai Han, Yanping Cai, WenJie Chen, Zhigao Cui and Aihua Li
The Timed-SAS approach can be used to design and quantitatively analyze the complex self-adaptive software systems, such as cloud computing systems.
|
|
|
|
|
|
|
Hao Zhang, Anmin Zhang, Chenxu Wang, Liuyang Zhang and Shuai Liu
Due to the absence of a comprehensive knowledge system for modeling ocean circulation, there is ambiguity and diversity in the semantic expression of ocean circulation. This makes it difficult to organize and share relevant spatiotemporal data effectivel...
ver más
|
|
|
|
|
|
|
Tao Feng, Chengfan Liu, Xiang Gong and Ye Lu
The integration of buses in industrial control systems, fueled by advancements such as the Internet of Things (IoT), has led to their widespread adoption, significantly enhancing operational efficiency. However, with the increasing interconnection of sys...
ver más
|
|
|
|
|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
|
Alexander Solovyev and Ivan Tarkhanov
The article discusses the modeling of the use of digital twin technologies (a digital twin) for the task of organizing long-term storage of various types of documents. A digital twin in this respect differs from a digital copy, which has no connection wi...
ver más
|
|
|
|
|
|
|
Panagiotis Farmakis, Athanasios Chassiakos and Stylianos Karatzas
Hub-and-Spoke (H&S) network modeling is a form of transport topology optimization in which network joins are connected through intermediate hub nodes. The Short Sea Shipping (SSS) problem aims to efficiently disperse passenger flows involving multipl...
ver más
|
|
|
|