8828 search results - page 1474 / 1766 » Formal methods in practice |
180
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
An unequal importance communication approach, for reliable and real-time image communication over heterogeneous networks and its applications in mobile communication systems is pre...
159
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We design a coding scheme for Costa’s dirty paper coding (DPC) [6] using a channel and a shaping code. We show that by transforming the channel noise distribution the DPC cha...
176
click to vote
VTS
2007
IEEE
16 years 1 months ago
2007
IEEE
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
211
click to vote
WETICE
2007
IEEE
16 years 1 months ago
2007
IEEE
Skype is a popular peer-to-peer (P2P) voice over IP (VoIP) application evolving quickly since its launch in 2003. However, the ability to traverse network address translation (NAT...
165
click to vote
ASIACRYPT
2007
Springer
16 years 29 days ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...