3238 search results - page 290 / 648 » On the Computational Interpretation of Negation |
153
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Data centers accumulate corporate and personal data at a rapid pace. Driven by economy of scale and the high bandwidth of today’s network connections, more and more businesse...
193
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
158
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The parallel repetition theorem states that for any two-prover game, with value 1 − (for, say, ≤ 1/2), the value of the game repeated in parallel n times is at most (1 − c)â...
187
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Many sophisticated mechanisms have been implemented at both the transport and the network layers in order to estimate network conditions and avoid overload of network links. We ev...
139
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Broadcast among n parties in the presence of t ≥ n/3 malicious parties is possible only with some additional setup. The most common setup considered is the existence of a PKI an...