3639 search results - page 338 / 728 » Provenance as Dependency Analysis |
201
click to vote
IDEAS
2003
IEEE
16 years 3 days ago
2003
IEEE
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
181
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
192
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
Several studies have focused on the efficient processing of simple spatial query types such as selections and spatial joins. Little work, however, has been done towards the optimiz...
157
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
160
click to vote
PADS
1997
ACM
15 years 11 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...