We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
Martin Nussbaumer, Patrick Freudenstein, Martin Ga...
High-Throughput Docking has emerged as a well establish method for identifying lead components in the process of searching for new drugs. The High-Throughput Docking Service provi...
Joseph Gill, Legand L. Burge III, Zengjian Hu, Wil...
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...