7274 search results - page 1296 / 1455 » Abstractions for network update |
162
click to vote
ECML
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
161
click to vote
ESORICS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
161
click to vote
EUROGP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
194
click to vote
EUROPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
160
click to vote
FCT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...