503 search results - page 79 / 101 » A Framework for Reasoning on Component Composition |
GEOINFORMATICA
1998
13 years 7 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
PDSE
2000
13 years 8 months ago
2000
To support multimedia applications in mobile environments, it will be necessary for applications to be aware of the underlying environmental conditions, and also to be able to ada...
SSS
2010
Springer
13 years 5 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
LICS
2000
IEEE
13 years 12 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...