Sciweavers

2287 search results - page 334 / 458
» Peer data exchange
Sort
View
BIRTHDAY
2007
Springer
14 years 2 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
EXPCS
2007
14 years 2 months ago
An analysis of XML compression efficiency
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
Christopher J. Augeri, Dursun A. Bulutoglu, Barry ...
ER
2006
Springer
145views Database» more  ER 2006»
14 years 1 months ago
Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
Li Xu, David W. Embley, Yihong Ding
ACSW
2007
13 years 11 months ago
A Grid Based e-Research Platform for Clinical Management in the Human Respiratory and Vascular System
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of ...
Sherman Cheung, Xingchen Chu, Shengjin Xu, Rajkuma...
LREC
2010
173views Education» more  LREC 2010»
13 years 11 months ago
A Corpus Representation Format for Linguistic Web Services: The D-SPIN Text Corpus Format and its Relationship with ISO Standard
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
Ulrich Heid, Helmut Schmid, Kerstin Eckart, Erhard...