Heterogeneous information systems can make data and process operations by means of a functionality called interoperability. Geographic information system (GIS) interoperability is based on two factors: the increasing use ...

The Internet is grounded on an open and interoperable architecture, giving rise to a quintessentially transnational environment. This global network of networks is, however, in natural tension with an international legal ...

Learning Objects are being packaged for interoperability using internationally agreed standards such as the Sharable Content Object Reference Model (SCORM). A coursedesigner aggregating ...

Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...

Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...

During recent years, globalization has had an impact on the competitive capacity of industries, forcing them to integrate their productive processes with other, geographically distributed, facilities. This requires the ...

The data management landscape associated with the Global Ocean Observing System is distributed, complex, and only loosely coordinated. Yet interoperability across this distributed landscape is essential to enable data to ...