8190 search results - page 196 / 1638 » From Timed to Hybrid Systems |
141
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
154
Voted
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract — We consider a space-time coded system in a correlated Rayleigh flat fading environment. The channel state information (CSI) is obtained from the known pilot code matr...
172
Voted
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
155
click to vote
ICC
2008
IEEE
16 years 15 days ago
2008
IEEE
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
137
click to vote
MUE
2007
IEEE
16 years 10 days ago
2007
IEEE
We proposed a pre-compensation method combining two wireless communication schemes, TDD(Time Division Duplex) whose forward and reverse links use the same frequency, and the coher...