Sentence examples for correctness of applications from inspiring English sources

The mix of threads and events complicates reasoning about correctness of applications under all possible interleavings.

It is also required to provide ways for recovering transactions from failures in order to maintain the correctness of applications and data, for example, using forward or backward recovery mechanisms.

Simulation results for the selected 2-user scenarios proved the correctness of application of the crystallized rates region to the general MIMO and OFDM scenario.

Correctness of such applications is of paramount importance due to their safety-critical nature.

This paper deals with the temporal correctness of control applications designed using the component-based standard IEC 61499.

Then, by using the CTL formal language, we formalize basic criteria to establish correctness of the application.

Moreover, we propose to verify the temporal correctness of the application with regard to global temporal properties (end to end delays).

These tools rely on semantic descriptions of workflows and components by means of an ontology that supports the reasoning regarding the correctness of the application being generated.

Contemporary philosophy of language describes models in which the correctness of the application of some ordinary language expression such as 'water', 'elm' or 'star' can turn on the presence or absence of a feature that ordinary speakers need not be able to distinguish, such as having a certain constitution or make-up.

Testing the correctness of a GUI-based applisation is more complex than the conventional code-based application.

Data protection has played an important role in maintaining the continuity and correctness of data processing application.