556 search results - page 40 / 112 » Generic Properties of Datatypes |
111
click to vote
AAAI
2010
15 years 4 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...
89
Voted
BIRTHDAY
2010
Springer
15 years 3 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...
118
click to vote
ENTCS
2008
15 years 2 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...
123
Voted
CORR
2006
Springer
15 years 2 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 ...
115
click to vote
AIS
2000
Springer
15 years 2 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...