2137 search results - page 92 / 428 » Proving Abstract Non-interference |
110
click to vote
CDC
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract-- We consider problems where multiple agents cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchan...
95
Voted
CDC
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract-- Lifetime maximization is an important optimization problem specific to Wireless Sensor Networks (WSNs) since they operate with limited energy resources which are therefo...
122
click to vote
CISC
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
95
Voted
ECRTS
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider the problem of scheduling periodic ...
106
click to vote
GLOBECOM
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...