21 search results - page 3 / 5 » Addressed term rewriting systems: application to a typed obj... |
DALT
2004
Springer
13 years 11 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
ECOOP
2007
Springer
13 years 9 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
HPDC
2008
IEEE
14 years 7 days ago
2008
IEEE
In this paper we address the problem of managing heterogeneous workloads in a virtualized data center. We consider two different workloads: transactional applications and long-ru...
POPL
2003
ACM
14 years 6 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
IJWIS
2007
13 years 5 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...