237 search results - page 27 / 48 » An initial formal model for spatial data infrastructures |
ENTCS
2006
14 years 11 months ago
2006
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
123
Voted
AFRIGRAPH
2004
ACM
15 years 4 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
MOBISYS
2007
ACM
15 years 10 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
BTW
2009
Springer
15 years 5 months ago
2009
Springer
: In the past couple of years, sensor networks have evolved to a powerful infrastructure component for monitoring and tracking events and phenomena in many application domains. An ...