|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Louis H. Kauffman
This paper explores a formal model of autopoiesis as presented by Maturana, Uribe and Varela, and analyzes this model and its implications through the lens of the notions of eigenforms (fixed points) and the intricacies of Goedelian coding. The paper dis...
ver más
|
|
|
|
|
|
|
|
|
|
|
Pawel Fic, Adam Czornik and Piotr Rosikowski
This article aims to present the real-world implementation of an anomaly detection system of a hydraulic power unit. Implementation involved the Internet of Things approach. A detailed description of the system architecture is provided. The complete path...
ver más
|
|
|
|
|
|
|
|
|
|
|
Abderrahmane Maaradji, Hakim Hacid and Assia Soukane
Service-oriented computing has become a popular area of research, with a particular focus on service composition. There have been many developments in this field, such as new techniques for data engineering in service description languages, protocols for...
ver más
|
|
|
|
|
|
|
|
|
|
|
Igor Masich, Natalya Rezova, Guzel Shkaberina, Sergei Mironov, Mariya Bartosh and Lev Kazakovtsev
A number of real-world problems of automatic grouping of objects or clustering require a reasonable solution and the possibility of interpreting the result. More specific is the problem of identifying homogeneous subgroups of objects. The number of group...
ver más
|
|
|
|
|
|
|
|
|
|
|
Farshad Badie and Luis M. Augusto
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what ?formal? me...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dalibor Bartonek and Pavla Andelová
The article addresses the issue of the unification of cartographic symbols in terms of graphics (visual) and interpretation in an international context. The motivation is the ongoing digitization of processes in the conditions of Industry 4.0, especially...
ver más
|
|
|
|
|
|
|
|
|
|
|
Shubin Zhong, Yuanqiao Wen, Yamin Huang, Xiaodong Cheng and Liang Huang
Formal expression of ship behavior is the basis for developing autonomous navigation systems, which supports the scene recognition, the intention inference, and the rule-compliant actions of the systems. The Convention on the International Regulations fo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lin Zhu, Xiangfu Meng and Zehui Mi
With the emergence of a large number of fuzzy spatiotemporal data on the Web, how to represent and operate fuzzy spatiotemporal data has become an important research issue. Meanwhile, the Resource Description Framework (RDF) is a standard data and knowle...
ver más
|
|
|
|
|
|
|
|
|
|
|
Souad Marir, Faiza Belala and Nabil Hameurlain
Fog systems are a new emergent technology having a wide range of architectures and pronounced needs making their design complex. Consequently, the design of fog systems is crucial, including service portability and interoperability between the various el...
ver más
|
|
|
|
|
|