Serverless computing is one of the latest technologies that has received much attention from researchers and companies in recent years since it provides dynamic scalability and a clear economic model. Serverless computing enables users to pay only ...

With the development of IoT, the concept of intelligent services has gradually come to the fore. Intelligent services usually involve a large number of computation intensive tasks with data dependencies that are often modelled as directed acyclic ...

The growing popularity of blockchains highlights the need to improve their scalability. While previous research has focused on scaling transaction processing, the scalability of transaction creation remains unexplored. This issue is particularly ...

The proliferation of available Web services presents a big challenge in selecting suitable services. Various methods have been devised to predict Quality of Service (QoS) values, aiming to address the service selection problem. However, these ...

In this paper, we develop computing machinery within the framework of the String Multiset Rewriting calculus (SMSR), as defined by Barbuti et al. [4], to solve the SAT problem in linear time regarding the number of variables of a given conjunctive ...

In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets — a class of Petri ...

• Formal definition and properties of a composition of interacting workflow nets.

Reconfigurable wireless ad hoc networks (R-WANETs) constitute a well-known paradigm of networks that change their structure to fulfill dynamic requirements and/or respond to their volatile environments. Several formalisms have been exploited and ...

The paper details the first successful attempt at using model checking techniques to verify the correctness of distributed algorithms for robots evolving in a continuous environment. The study focuses on the problem of rendezvous of two robots ...

Display Omitted

• We describe a model to verify mobile robot gathering algorithms that evolve in a Euclidean continuous space.
• We show that positive results obtained for the model extend to the initial system model.
• We model check all known mobile ...

The evolution of cloud computing results in the development of numerous huge data-centers. These data-centers use large quantities of electrical energy, which in turn results in high operating cost and high emissions of ${\text{CO}}_2$. The grounds for this ...

As mobile users gradually become the main force to enjoy network services, the demand for ubiquitous computing services accelerates the development of multi-access edge computing (MEC). To meet the business needs of any time and anywhere ...

Visual perception enables robots to perceive the environment. Visual data is processed using computer vision algorithms that are usually time-expensive and require powerful devices to process the visual data in real-...

Display Omitted

• RetinaNet ResNet50 and SSD ResNet50 can be successfully executed in embedded GPUs, TPUs, and FPGAs.

In modern computing architectures, graph theory is the soul of the play due to the rising core counts. It is indispensable to keep finding a better way to connect the cores. A novel chordal-ring interconnect topology system, Equality, is revisited ...

Multi-access edge computing (MEC) offers cloud computing capabilities and IT services situated at the Radio Access Network (RAN) in the mobile users’ proximity. Applications could offload their computation-intensive tasks to the MEC servers. ...

Cloud computing has become one of the most popular frameworks for big data processing and analysis. To have better performance, the data chunks and their corresponding process nodes must be near each other, which is known as data locality. ...$\mathrm{}$

The model of Spiking Neural P systems (SNP systems) is a widespread computational model in the area of membrane computing. It has numerous applications, especially related to machine learning. Most of these applications require a custom variant of ...

• P colonies are a simple multi-agent bio-inspired computing model.
• Enrichment ...

P colonies, a variant of membrane (P) systems, are simple cell-inspired multi-agent systems without an inner structure of agents. The agents consist of a single membrane with a fixed number of atomic objects inside. Yet, they have ...

Grid scheduling is one of the most known NP-complete problems. Heterogeneity of machines causes mapping of tasks to be a challenging problem. Several meta-heuristic algorithms have been designed to reach optimality as possible. Sort-Mid is a ...

With the rapid development of information technology, the data generated by the Internet has exploded in recent years. The proliferation of data has brought about a huge increase in the energy consumption for data processing especially in real-...

A new algorithm has been presented to detect and resolve generalized deadlock in distributed systems. In this algorithm, the initiator incrementally constructs the Local Wait-For Graph (LWFG) by propagating the probes along the edges of the Wait-...

In order to optimize traffic flows and power consumption of network components, various green routing algorithms and protocols have been proposed. These algorithms and protocols apply different techniques to attain their own goals. One of the most ...