The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Java. This paper provides an implementation solution to ensure the checking of this rules before each assignment statement, where the check is performed dynamically by using write bar...

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Papers published in Hydrology and Earth System Sciences Discussions are under open-access review for the journal Hydrology and Earth System Sciences Abstract Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Abstract In the present paper we describe some methods for verifying and evalua...

A classic ‘reference’ variable provides an indirect way to access a variable or aggregate. packetC, [1] a language for network packet processing, has specialized requirements for references that apply to aggregates, based on domain-specific, extended data types. The primary functional requirement is to defer selecting particular aggregates until runtime. In addition, requirements for high progr...

An amendment to this paper has been published and can be accessed via the original article.

One of the sustainable development goal country is access to affordable, reliable, and modern energy for all. It underpinned by three targets: ensuring universal services, increasing share renewables in mix, improving efficiency. In Ethiopia people more still live without electricity, an equal number suffer from insufficient, unreliable supply energy. The main objectives this review focuses opp...

For many years the standard approach to question answering, or searching for information, has involved information retrieval systems. These systems were initially Boolean systems, requiring major effort from the users, but new systems allow natural language input for questions and return ranked lists of documents. Whereas the question answering (QA) task has evolved beyond just the ranked list ...

In the standard multiple-access problem, a central access point needs to reconstruct the signals observed by each user separately. Suppose now that the access point only reconstructs the sum (or any other function) of these observed signals. For this problem, we develop strategies and information-theoretic performance bounds. It is shown that in general, separating source from channel coding le...