Sciweavers

6008 search results - page 881 / 1202
» Heterogeneity in
Sort
View
ER
2003
Springer
84views Database» more  ER 2003»
16 years 17 hour ago
Resolving Structural Conflicts in the Integration of XML Schemas: A Semantic Approach
While the Internet has facilitated access to information sources, the task of scalable integration of these heterogeneous data sources remains a challenge. The adoption of the eXte...
Xia Yang, Mong-Li Lee, Tok Wang Ling
EUROPAR
2003
Springer
16 years 16 hour ago
Preventive Multi-master Replication in a Cluster of Autonomous Databases
We consider the use of a cluster of PC servers for Application Service Providers where applications and databases must remain autonomous. We use data replication to improve data av...
Esther Pacitti, M. Tamer Özsu, Cédric ...
EUROPAR
2003
Springer
16 years 16 hour ago
Delivering Data Management for Engineers on the Grid
Engineering design search and optimisation is a computationally expensive and data intensive process. Grid technology offers great potential to increase the efficiency of this proc...
Jasmin L. Wason, Marc Molinari, Zhuoan Jiao, Simon...
172
Voted
FM
2003
Springer
109views Formal Methods» more  FM 2003»
16 years 15 hour ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
215
Voted
GCC
2003
Springer
16 years 14 hour ago
The Design and Implementation of the GridLab Information Service
The grid computing paradigm emerged recently as a new field distinguished from traditional distributed computing because of its focus on large-scale resource sharing and innovativ...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, D...