We propose a generic static type system for Constraint Logic Programming including subtyping and parametric polymorphism. The first aim of this prescriptive type system is to detect type errors static...
In many enterprises the presence of heterogeneous legacy information systems is pervasive, nevertheless the d4fferent component organizations need to cooperate in order to oJ]kr new services. The Dist...
In many enterprises the presence of heterogeneous legacy information systems is pervasive, nevertheless the d4fferent component organizations need to cooperate in order to oJ]kr new services. The Dist...
In many enterprises the presence of heterogeneous legacy information systems is pervasive, nevertheless the d4fferent component organizations need to cooperate in order to oJ]kr new services. The Dist...
Abstract?The introduction of the IP multimedia subsystem on 3G cellular networks and the integration with other widely deployed wireless networks based on the IEEE 802.11 protocol family require suppo...
The Replication Logic' is a set of protocols, mechanisms and services that allow a CORBA system to handle object replication. In this paper we present a specific implementation of a Replication Logic,...
The Replication Logic' is a set of protocols, mechanisms and services that allow a CORBA system to handle object replication. In this paper we present a specific implementation of a Replication Logic,...
In this paper we describe how to realize a Java RMI framework supporting multi-point method invocation. The package we have realized allows programmers to build groups of servers that could provide se...