3902 search results - page 665 / 781 » Hardware Synthesis from C C Models |
97
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
97
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
101
Voted
ESTIMEDIA
2006
Springer
15 years 4 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
134
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
The ability to classify packets according to pre-defined rules is critical to providing many sophisticated value-added services, such as security, QoS, load balancing, traffic acco...
116
click to vote
QOFIS
2000
Springer
15 years 4 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...