556 search results - page 40 / 112 » Generic Properties of Datatypes |
AAAI
2010
13 years 10 months ago
2010
Online forums contain valuable human-generated information. End-users looking for information would like to find only those threads in forums where relevant information is present...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
ENTCS
2008
13 years 9 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...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
AIS
2000
Springer
13 years 8 months ago
2000
Springer
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...