556 search results - page 11 / 112 » Generic Properties of Datatypes |
IEPOL
2010
13 years 4 months ago
2010
In this paper, we consider the competition of providers of information products against P2P networks that offer illegal versions of the information products. Depending on the gene...
TACAS
1999
Springer
13 years 11 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
COMAD
2008
13 years 9 months ago
2008
This paper illustrates a strange property that was encountered when analysing keyword query data. The objective of this work was to observe the temporal properties of keyword quer...
DEXAW
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...