7820 search results - page 363 / 1564 » Formalization of Time and Space |
237
click to vote
FOCI
2007
IEEE
16 years 1 months ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
165
click to vote
EUROPKI
2007
Springer
15 years 11 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
208
click to vote
ASYNC
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
185
Voted
FORMATS
2005
Springer
16 years 1 months ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
245
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...