12981 search results - page 2160 / 2597 » Model Checking (Abstract) |
140
click to vote
INFOCOM
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...
147
click to vote
INFOCOM
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— This paper considers two issues arising in an integrated IEEE 802.16e/802.11 network: 1) finding a possible network, which mobile station (MSTA) can switch to, and 2) ...
178
click to vote
EUROCRYPT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
178
click to vote
PPAM
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
158
click to vote
SCIA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The study of natural image statistics considers the statistical properties of large collections of images from natural scenes, and has applications in image processing, c...