Table III compares the run time of applications compiled with full live variable analysis to that of applications compiled with SCC-based liveness
Lamport  reported on two major classes of system properties necessary to describe any useful system behavior: safety and liveness
In relation to images of nature emergencies and other disasters, one important aspect of this layering of media forms is the merging of televisual and digital modes of liveness
This notion of liveness
has long been considered a core characteristic of television.
The new software-based liveness
detection approach using a novel fingerprint parameterization based on quality related features.
Through them, the essential work of listening brings affiliation, affinity, and negotiated resolution into acoustic liveness
, fully resonant (or equally important, muffled) across geographic, ethnic, linguistic, and technical fissures' (p.
In his fourth chapter, "Role-Playing Toward a Virtual Musical Democracy," Cheng explores gamers' use of the in-game music system of The Lord of the Rings Online (LOTRO), opening up a discussion of musical liveness
, authenticity, and player interaction.
Though works that tap liveness
as an inherently profound characteristic can sometimes appear utterly calculated, the first two rooms of the exhibition did a sublime job of setting up a pervasive sense of the kind of self-consciousness that can produce an effect of sincerity.
of this show is critical to the kinds of publicness it produces.
For behaviour analysis the PLA model have been transformed to timed automata in order to verify the safety and liveness
properties of a system using the UPPAAL model-checking tools.
examine the possible traces of behavior implied by the model and verify global properties of the model: a reachability property states that a particular situation can sometimes be reached; a liveness
property expresses that, under certain conditions, a situation will ultimately occur.
0] goal PN final marking, liveness
or safe specification property