8825 search results - page 68 / 1765 » All for one or one for all |
106
click to vote
TCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
ADBIS
2001
Springer
15 years 5 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
105
click to vote
ROBOCUP
2001
Springer
15 years 5 months ago
2001
Springer
One of the questions one may ask when following research in robotic soccer is whether there is a measurable progress over the years in the robotic leagues. While everybody who has ...
116
click to vote
ADBIS
2000
Springer
15 years 5 months ago
2000
Springer
Data collected in many applications have a form of sequences of events. One of the popular data mining problems is discovery of frequently occurring episodes in such sequences. Eff...
111
click to vote
AH
2000
Springer
15 years 5 months ago
2000
Springer
As it stands the Internet’s “one size fits all” approach to information retrieval presents the average user with a serious information overload problem. Adaptive hypermedia s...