422 search results - page 85 / 85 » Model Checking TLA Specifications |
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...
109
click to vote
LISA
2004
14 years 11 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...