909 search results - page 65 / 182 » Generic Programming: An Introduction |
126
click to vote
PKC
2000
Springer
15 years 2 months ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
WWW
2004
ACM
15 years 11 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
ICARCV
2008
IEEE
15 years 5 months ago
2008
IEEE
– In this paper we present a generic computational model to include emotion and personality in the behaviour of a robot. This model is based on a comparison of recent computation...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...