9316 search results - page 1480 / 1864 » Analysis of traceback techniques |
186
click to vote
STACS
2007
Springer
16 years 25 days ago
2007
Springer
One frequently studied problem in the context of information dissemination in communication networks is the broadcasting problem. In this paper, we study the following randomized b...
187
click to vote
SUM
2007
Springer
16 years 25 days ago
2007
Springer
Schema matching is the task of matching between concepts describing the meaning of data in various heterogeneous, distributed data sources. With many heuristics to choose from, sev...
186
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
171
click to vote
TCC
2007
Springer
16 years 25 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
178
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...