35419 search results - page 134 / 7084 » How are we doing |
127
click to vote
ENTCS
2002
15 years 3 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
137
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
127
Voted
FUN
2007
Springer
15 years 10 months ago
2007
Springer
We analyse transports between leaves in an edge-weighted tree. We prove under which conditions there exists a transport matching the weights of a given tree. We use this to compute...
113
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Copy-paste programming is dangerous as it may lead to hidden dependencies between different parts of the system. Modifying clones is not always straight forward, because we might ...
134
click to vote
HIP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We would like to quantify the assurance contained in an authentication secret. For instance, how much assurance does a customer convey to a bank by revealing that his Per...