157 search results - page 10 / 32 » Presenting Proofs with Adapted Granularity |
QOFIS
2001
Springer
13 years 12 months ago
2001
Springer
With the lack of admission control and resource reservation mechanisms in the Internet, overload situations can only be avoided by having the end systems deploying congestion cont...
POPL
2001
ACM
14 years 7 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
CRYPTO
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a variant of the random oracle model where oracle-dependent auxiliary input is allowed. In this setting, the adversary gets an auxiliary input that can contain informa...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Layered streaming can be used to adapt to the available download capacity of an end-user, and such adaptation is very much required in real world HTTP media streaming. The multi...