1236 search results - page 118 / 248 » fast 2010 |
153
click to vote
TRUSTBUS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...
149
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider a Gaussian two-hop network where the source and the destination can communicate only via a relay node who is both an eavesdropper and a Byzantine adversary. Both the s...
144
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Adaptive orthogonal frequency division multiple access (OFDMA) has recently been recognized as a promising technique for providing high spectral efficiency in future broadband wire...
125
click to vote
PADL
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
126
Voted
PADL
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...