322 search results - page 65 / 65 » Symbolic model checking of institutions |
GLOBECOM
2010
IEEE
13 years 2 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 ...
USS
2010
13 years 2 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...