User Interface Distribution Method Based on Pi-Calculus

Sakulin, Sergey; Alfimtsev, Alexander; Tipsin, E.A.; Devyatkov, Vladimir; Sokolov, Dmitry

doi:10.4018/ijdst.2019070101

Cited by 3 publications

(2 citation statements)

References 22 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In theoretical computer science, Pi calculus is a formal language for describing and analyzing concurrent systems [19] [20], which uses the reduction in calculus to represent the dynamic evolution of inter-process communication [21]. Moreover, in Pi calculus, the channels can be passed as data in other channels between processes, which makes the expression of Pi calculus to be very powerful [22]. Thus, Pi calculus is utilized for describing the communication mechanism and data processing logic of the decentralized grid model in this part, so that facilitating rigorous mathematical verification.…”

Section: Protocol Specification Based On Pi Calculusmentioning

confidence: 99%

Agent-Based Decentralized Grid Model

Kang

Zhang

et al. 2020

IEEE Access

View full text Add to dashboard Cite

Decentralization of grid systems plays an important role in improving their efficiency and fault tolerance. To enhance the performance and stability of grid and mitigate the problems of centralized grid, an agent-based decentralized gird model (ADGM) with universality and functional integrity is proposed. In this paper, we build an agent-based grid structure and propose an agent-based grid consensus algorithm (AGCA). A group membership protocol, a consistency protocol and a view change protocol in AGCA are also designed. Furthermore, based on Pi calculus, the information registration, resource sharing and error recovery of the grid model in the decentralized environment are formally specified. Finally, we analyze the performance of the AGCA algorithm and compare it with other consensus algorithms, the simulation results demonstrate that the AGCA algorithm achieves better comprehensive performance and more symmetrical time performance, space performance and fault tolerance than other consensus algorithms.

show abstract

Section: Protocol Specification Based On Pi Calculusmentioning

confidence: 99%

Agent-Based Decentralized Grid Model

Kang

Zhang

et al. 2020

IEEE Access

View full text Add to dashboard Cite

show abstract

“…When there are huge message flows exchanged by broker, issue of latency may be inevitable [16]. e latency not only decreases the speed of data transmission but also wastes device battery to decrease the overall device life-span [17][18][19][20]. In this paper, we focus on data exchange efficiency in an environment where there is a limited Internet access or there are serious network jitter problems for several hundred miles around.…”

Section: Need Of the Data Exchange Efficiency Problem In Iotmentioning

confidence: 99%

Improving Topic-Based Data Exchanges among IoT Devices

Liu

Zhu

et al. 2020

Security and Communication Networks

View full text Add to dashboard Cite

Data exchange is one of the huge challenges in Internet of Things (IoT) with billions of heterogeneous devices already connected and many more to come in the future. Improving data transfer efficiency, scalability, and survivability in the fragile network environment and constrained resources in IoT systems is always a fundamental issues. In this paper, we present a novel message routing algorithm that optimizes IoT data transfers in a resource constrained and fragile network environment in publish-subscribe model. The proposed algorithm can adapt the dynamical network topology of continuously changing IoT devices with the rerouting method. We also present a rerouting algorithm in Message Queuing Telemetry Transport (MQTT) to take over the topic-based session flows with a controller when a broker crashed down. Data can still be communicated by another broker with rerouting mechanism. Higher availability in IoT can be achieved with our proposed model. Through demonstrated efficiency of our algorithms about message routing and dynamically adapting the continually changing device and network topology, IoT systems can gain scalability and survivability. We have evaluated our algorithms with open source Eclipse Mosquitto. With the extensive experiments and simulations performed in Mosquitto, the results show that our algorithms perform optimally. The proposed algorithms can be widely used in IoT systems with publish-subscribe model. Furthermore, the algorithms can also be adopted in other protocols such as Constrained Application Protocol (CoAP).

show abstract

Nature-Inspired Usability Optimization

Sakulin

Alfimtsev

Kalgin

2020

Handbook of Research on Advancements of Swarm Intelligence Algorithms for Solving Real-World Problems

View full text Add to dashboard Cite

Nature-inspired algorithms have come into use to solve more and more optimization tasks of high dimension when classical optimization algorithms do not apply. The task of user interface usability optimization becomes the one to be solved by nature-inspired algorithms. Usability optimization suggests a choice of interface design out of a large number of variants. At that, there is no common technique to determine the objective function of such optimization that would lead to the invitation of highly qualified specialists to implement it. The chapter presents a new approach of automatic interface usability optimization. The approach is based on the template employment as well as nature-inspired algorithms such as genetic algorithm (GA), artificial bee colony (ABC) algorithm, and charged system search (CSS) algorithm, bacterial foraging optimization (BFO) algorithm, and cuckoo search (CS) algorithm that are analyzed in the chapter. The results of the experiments have discovered research prospects and new features of the algorithms' application for the set task.

show abstract

User Interface Distribution Method Based on Pi-Calculus

Cited by 3 publications

References 22 publications

Agent-Based Decentralized Grid Model

Agent-Based Decentralized Grid Model

Improving Topic-Based Data Exchanges among IoT Devices

Nature-Inspired Usability Optimization

Contact Info

Product

Resources

About