Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised by an ML function may have no valid semantic interpretation in the context of a Safe-C caller. Sandboxing costs performance and still may violate the semantics if effects are not taken into account. We show that effect...

1. Context Interconnection problems between privately owned network operators can be traced back to the 19th century when the telegraph first appeared. After successful deployment of the technology at a national scale, there was the need to provide interconnection across country borders facilitating interoperation between independent providers of the telegraph service, each with its own proprie...

Interoperability is the ability of two or more systems or components to exchange information and use the exchanged information without special effort on either system. This paper attempts to propose a framework for evaluating and improving interoperability in each one of partners collaborating in a supply chain. The definition of the framework is based on three important hypotheses. The first h...

Repository managers increasingly use toolkits such as DSpace to manage submission of and access to resources. However, DSpace does not support the highly desirable distributed replication functionality provided by LOCKSS. This paper describes an experiment to seamlessly interconnect DSpace and LOCKSS in a generalisable manner. An experimental prototype confirms that this is indeed possible, and...