Search Results

Real-time data processing systems are required to manage large volumes of data and deliver instant feedback. These systems are typically constructed on distributed processing architectures, where addressing the challenges of preventing deadlocks, ...

At the time of authentication, confidential data are exchanged between the user/device and the authentication server to determine the legitimacy of the source requesting authentication. Safeguarding the authentication process from security attacks ...

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

Software requirements play a vital role in ensuring a software product’s success. However, it remains a challenging task to implement all of the user requirements, especially in a resource-constrained development environment. To deal with this ...

The smart healthcare system advancements have introduced the Internet of Things, enabling technologies to improve the quality of medical services. The main idea of these healthcare systems is to provide data security, interaction between entities, ...

Linear temporal logic ($\mathsf{LTL}$) and its variant interpreted on finite traces (${\mathsf{LTL}}_{\mathsf{f}}$) are among the most popular specification languages in the fields of formal verification, artificial intelligence, and others. In this paper, we focus on the ...$\mathsf{}$${\mathsf{}}_{\mathsf{}}$$\mathsf{}$${\mathsf{}}_{\mathsf{}}$

A weak pseudorandom function (weak PRF) is one of the most important cryptographic primitives for its efficiency although it has lower security than a standard PRF. Recently, Boneh et al. (in: Theory of cryptography conference, Springer, pp 699–...${\mathsf{}}^{\mathsf{}}$${\mathrm{}}^{\mathrm{}}$${\mathrm{}}^{\mathrm{}}$$\mathrm{}$$$$$

The Android application framework has a pervasive presence. In early 2021, Android has over $70\%$ share of the operating system mobile market (according to GlobalStats). Components are the main building blocks of Android Applications. These blocks ...

The phenomenon of cooperation among independent systems to achieve common goals has been growing. In this regard, the concept of system of systems (SoS), wherein numerous independent systems cooperate with each other, has been proposed. The key ...

• The proposed collaborative MAPE-K pattern enables knowledge sharing among systems.
• To address synchronization during slicing, we propose synchronization dependence
• To show knowledge sharing, we clarify the roles of components in ...

The design and the evaluation of communication protocols in WSNs is a crucial issue. Generally, researchers use simulation methods to evaluate them. However, formal modelling and analysis techniques are an efficient alternative to simulation ...

The resilience system property has become more and more relevant, mainly because of the increasing dependance on a rapidly growing number of software-intensive, complex, socio-technical systems, which are facing uncertainty about changes they are ...

Rapid advances in education domain demand the design and customization of educational technologies for a large scale and variety of evolving requirements. Here, scale is the number of systems to be developed and variety stems from a diversified ...

Today, most innovation on Information Technology and Communication is cloud-centric and an increasing number of organizations believe that this transition is ever more unavoidable. With this increased demand for Cloud services, providers are ...

• We propose a novel approach to concurrent relational association rule mining.
• ...

Data mining techniques are intensively used to uncover relevant patterns in large volumes of complex data which are continuously extended with newly arrived data instances. Relational association rules (RARs), a data ...

We present a boundary integral equation solver for wave scattering suited for many-core processors, which are expected to be the building blocks of energy-austere exascale systems, and on which algorithmic and architecture-oriented optimizations are essential ...

We present a linearizability proof for the concurrent Chase---Lev work-stealing queue (WSQ) implementation on sequentially consistent memory. We used the CIVL proof system to carry out the proof. The lowest-level description of the WSQ is the data ...

The impact of energy consumption on the environment and the economy is raising awareness of "green" software engineering. HADAS is an eco-assistant that makes developers aware of the influence of their designs and implementations on the energy ...

Despite the proven applicability of the spectrum-based fault localization (SBFL) methods, their effectiveness may be degraded due to the presence of coincidental correctness, which occurs when faults fail to propagate, i.e., their execution does not ...

A static analysis by abstract interpretation is typically composed of an ascending phase followed by a descending one. The descending phase is used to improve the precision of the analysis after that a post-fixpoint has been reached. Termination is ...

We present the use of a novel spatio-temporal model checker to detect problems in the data and operation of a collective adaptive system. Data correctness is important to ensure operational correctness in systems which adapt in response to data. We ...