943 search results - page 174 / 189 » Property-Driven Scenario Integration |
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The miniaturization of transistors in recent technology nodes requires tremendous back-end tuning and optimizations, making bug fixing at later design stages more expensive. Ther...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
– HTTPS is designed to provide secure web communications over insecure networks. The protocol itself has been rigorously designed and evaluated by assuming the network as an adve...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Mobile Ad hoc Network (MANET) routing protocols have been the focus of an accomplished research effort for many years within the networking community and now the results of this...
ISPAN
2009
IEEE
14 years 2 months ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
CANS
2009
Springer
14 years 2 months ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...