Persistent object systems must provide some form of checkpointing to ensure that changes to persistent data are secured on non-volatile storage. When processes share or exchange modified data, mechanisms must be provided to ensure that they may be consistently checkpointed. This may be performed eagerly by synchronously checkpointing all dependent data. Alternatively, optimistic techniques may ...

In this paper, we present VVPLAN, a planner based on a classical state space search algorithm. The language used for domain and problem representation is ADL (Pednault 1989). We have compared VVPLAN to UCPOP (Penberthy and Weld 1992)(Weld 1994), a planner that admits the same representation language. Our experiments prove that such an algorithm is often more efficient than a planner based on a ...

We describe the rationale and the design of Arias, a service of distributed memory with a single global address space. It provides a generic consistency support, capabilities grouped in domains for protection, and a log-based checkpointing service.

Background The concept of decision space holds appeal as an approach to disaggregating the elements that may influence decision-making in decentralized systems. This narrative review aims to explore the functioning of decision space and the factors that influence decision space.   Methods A narrative review of the literature was conducted with searches of online databases and academic journals ...

Multidielectric polyethylene is a material that is generally employed as insulation for  the HVDC isolations. In this paper, the influence of temperature on space charge dynamics has been studied, low-density polyethylene (LDPE) and Fluorinated Ethylene Propylene (FEP) sandwiched between two electrodes were subjected to voltage application of 5kV (14.3 kV/mm) for extended duration of time ...

Urban design problems have become so complex that no single designer is able to consider all aspects of a design area simultaneously. Lately the application of computerized and scientific methods have helped designers analyze complex problems. One of these new methods is Space Syntax. The purpose of this study is to first investigate the strengths and weaknesses of this method and then suggest ...

Suppose that $A$ is a semi-simple and commutative Banach algebra. In this paper we try to characterize the character space of the Banach algebra $C_{rm{BSE}}(Delta(A))$ consisting of all  BSE-functions on $Delta(A)$ where $Delta(A)$ denotes the character space of $A$. Indeed, in the case that $A=C_0(X)$ where $X$ is a non-empty locally compact Hausdroff space, we give a complete characterizatio...

Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learning systems do not generally adapt to learners’ profiles. Learners have to spend a lot of time before reaching the learning goal that is compatible with their knowledge background. To overcome such difficulties, an e-l...

Application-level interoperability is defined as the ability of an application to utilize multiple distributed heterogeneous resources. Such interoperability is becoming increasingly important with increasing volumes of data, multiple sources of data as well as resource types. The primary aim of this paper is to understand different ways and levels in which application-level interoperability ca...

This work proposes a novel approach to restricting the access for blacklisted Android system API calls. Main feature of the suggested method introduced in this paper is that it requires only rootless or (user-mode) access to the system unlike previous works. For that reason this method is valuable for end-users due to the possibility of project distribution via Play Market and it does not requi...