Sciweavers

2494 search results - page 41 / 499
» Dependable Distributed Computing Using Free Databases
Sort
View
CONCUR
2009
Springer
13 years 11 months ago
Algebra for Infinite Forests with an Application to the Temporal Logic EF
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
Mikolaj Bojanczyk, Tomasz Idziaszek
IPPS
2000
IEEE
14 years 14 hour ago
Autonomous Consistency Technique in Distributed Database with Heterogeneous Requirements
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
Hideo Hanamura, Isao Kaji, Kinji Mori
COREGRID
2007
Springer
14 years 1 months ago
Dependable Grid Services: A Case Study with OGSA-DAI
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
Javier Alonso, Jordi Torres, Luís Moura Sil...
APPT
2005
Springer
13 years 9 months ago
Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries
It is difficult to maintain the exact location of mobile objects due to the limited resources in a mobile network. A consequence of this problem is that the update cost for a locat...
Song Han, Edward Chan
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
14 years 7 months ago
XML database support for distributed execution of data-intensive scientific workflows
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
Shannon Hastings, Matheus Ribeiro, Stephen Langell...