Search Results

Serverless computing has attracted many researchers with features such as scalability and optimization of operating costs, no need to manage infrastructures, and build programs at a higher speed. Serverless computing can be used for real-time ...

The exponential growth of data and user density in mobile networks has led to increased latency in delivering content, particularly in mobile edge computing (MEC). Edge caching strategies, which store frequently accessed data closer to users, are ...

Smart Street Lighting System (SSLS) is an intelligent outdoor lighting system with automated controls that enhances energy savings, safety, and city design, reducing operational costs and environmental impact. The need for better management and ...

The demand for computing resources, including storage and processing capabilities, has surged in recent years. For example, during the COVID-19 pandemic, many activities typically conducted using local resources transitioned to online platforms. ...

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 ...