1021 search results - page 83 / 205 » Pure Subtype Systems |
DANCE
2002
IEEE
14 years 25 days ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
CPHYSICS
2008
13 years 8 months ago
2008
In this paper, we present a short review as well as novel results on a recently established counterintuitive phenomenon of cluster aggregation of particles that interact via purel...
APIN
2006
13 years 8 months ago
2006
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
ECOOP
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...