16843 search results - page 3149 / 3369 » On Generalized Authorization Problems |
212
click to vote
MOBIQUITOUS
2007
IEEE
16 years 24 days ago
2007
IEEE
—Topology control problems are concerned with the assignment of power levels to the nodes of an ad-hoc network so as to maintain a specified network topology while minimizing th...
181
click to vote
NDSS
2007
IEEE
16 years 24 days ago
2007
IEEE
The need for communication privacy over public networks is of growing concern in today’s society. As a result, privacy-preserving authentication and key exchange protocols have ...
188
click to vote
RTSS
2007
IEEE
16 years 23 days ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
153
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
193
click to vote
VTC
2007
IEEE
16 years 23 days ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...