14165 search results - page 2623 / 2833 » The generalized two-server problem |
182
click to vote
NDSS
2007
IEEE
16 years 25 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 25 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 25 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...
196
click to vote
VTC
2007
IEEE
16 years 25 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...
162
click to vote
AIMS
2007
Springer
16 years 22 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...