1313 search results - page 93 / 263 » Generic Universe Types |
127
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
We show how the database community’s notion of a generic query interface for data aggregation can be applied to ad-hoc networks of sensor devices. As has been noted in the senso...
142
click to vote
ISW
2000
Springer
15 years 8 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
139
click to vote
UMUAI
2008
15 years 4 months ago
2008
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...
158
click to vote
LATINCRYPT
2010
15 years 2 months ago
2010
Different types of implementation attacks, like those based on side channel leakage and active fault injection, are often considered as separate threats. Countermeasures are, there...