In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
The ability to construct dynamic, flexible virtual organizations becomes one of the most desired features of a distributed application system. This paper proposes an agent-mediated...
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
ese two applications are built upon the abstraction provided by the Context Service and thus help validate the design of this service. The first application, a Notification Dispatc...
Hui Lei, Daby M. Sow, John S. Davis II, Guruduth B...
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...