2299 search results - page 61 / 460 » Logical Data Expiration |
106
Voted
ENTCS
2000
15 years 3 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
125
click to vote
MSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Data grids federate storage resources. They provide a logical name space that can be used to register digital entities, a storage repository ion for manipulating data, and a high ...
136
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
142
Voted
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
MOBIDE
1999
ACM
15 years 7 months ago
1999
ACM
In this article we introduce a new conception of three-dimensional DataSpace, which is physical space enhanced by connectivity to the network. DataSpace is addressed geographicall...