3047 search results - page 214 / 610 » A Temporal Consensus Model |
149
click to vote
PODC
1990
ACM
15 years 9 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
155
click to vote
LICS
2007
IEEE
15 years 12 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
141
Voted
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
150
Voted
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
168
click to vote
CVPR
2001
IEEE
16 years 7 months ago
2001
IEEE
Dynamic events can be regarded as long-term temporal objects, which are characterized by spatio-temporal features at multiple temporal scales. Based on this, we design a simple st...