2940 search results - page 586 / 588 » Relational Parametricity and Control |
193
click to vote
ICUIMC
2011
ACM
14 years 1 months ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
107
click to vote
SIGMETRICS
2011
ACM
14 years 13 days ago
2011
ACM
The massive data streams observed in network monitoring, data processing and scientific studies are typically too large to store. For many applications over such data, we must ob...
108
click to vote
SIGMOD
2011
ACM
14 years 13 days ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
105
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
196
click to vote
DNA
2011
Springer
13 years 9 months ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...