Eternity variables are introduced to specify and verify serializability of transactions of a distributed database. Eternity variables are a new kind of auxiliary variables. They do not occur in the implementation but are used in specification and verification. Elsewhere it has been proved that eternity variables in combination with history variables are semantically complete for proving refinem...

Music is often considered one of the most temporal—if not the most temporal—of the arts. Music unfolds in time and can only be experienced sequentially. Musical notation is an attempt to fix or capture that temporality, to render it graphically visual and reproducible. Yet, although we can take in a page of music at a single glance, we still need to hear or perform the piece in real time. Moreo...

Great mountains such as Fujiyama and Kilimanjaro are recognized being sacred places. In myths they aften inhabited by gods, living in eternity far above the secular life of human beings. this article psychological background images is traced, defining a transcendental experience mountain landscape creative source. A phenomenological description personal range Grand Teton National Park analyzed ...

Strong Eternity Service is a safe and very reliable storage for data of high importance. We show how to establish persistent pseudonyms in a totally anonymous environment and how to create a unique fully distributed name-space allowing both computer-efficient and humanacceptable access. We also present a way how to retrieve information from such data storage. We adapt the notion of the mix-netw...

Eng, M.A. and E.H. Hamilton. 2000. From here to eternity: the perils of policy analysis. In Proceedings, From science to management and back: a science forum for southern interior ecosystems of British Columbia. C. Hollstedt, K. Sutherland, and T. Innes (editors). Southern Interior Forest Extension and Research Partnership, Kamloops, B.C., pp. 55–8. From here to eternity: The perils of policy a...

In cyber space, freedom of self-expression prevails and millions of people enjoy the benefit of this right. Unfortunately, sometimes this privilege is taken for granted and what was written casually in the past remains permanently online and later becomes a label that marks one’s identity. This enduring characteristic of online data stored in a form of digital information is known as digital et...

Eternity is in love with the productions of time — William Blake, Proverbs of Hell.

Eternity is in love with the productions of time — William Blake, The Marriage of Heaven and Hell.

Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...