Sentence examples for temporal property from inspiring English sources

In this paper, we present a new temporal property specification language TXP.

This temporal property can be exploited in caching mechanisms that aim to exploit such locality of reference.

Each temporal property can be checked through the IP interface where all properties have to be proved or disproved.

Furthermore, concerning the temporal property described in Table  2, only the composition of ({s_0rightarrow s_2rightarrow s_{10}ghtarightarrow} rightarrow s_{11}}) should be kept.

Irrespective of the representation format, the context information has an ever-present temporal property i.e. the information remains valid for a certain period of time.

We first propose a secure localization scheme, namely basic TSCD (B-TSCD), which applies the temporal property, spatial property, and consistent property of attacked locators.

Here vehicle and content share their temporal properties.

The temporal properties were studied by using a 953.6-nm 953.6-nmifteRamaner and an oshifterraph.

However, its context representation format [10] contains no metadata that specifies its temporal properties.

The algorithm automatically integrates the sensor data into a hierarchical structure based upon the temporal properties.

In summary, long-term SSEs along the Nankai Trough vary in their spatial and temporal properties.