6308 search results - page 20 / 1262 » Modeling Urgency in Timed Systems |
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
69
Voted
RTSS
1993
IEEE
15 years 1 months ago
1993
IEEE
186
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...
72
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
103
Voted
TWC
2010
14 years 4 months ago
2010
In this letter, we investigate the problem of CFO estimation in OFDM systems when the timing offset and channel length are not exactly known. Instead of explicitly estimating the t...