2299 search results - page 61 / 460 » Logical Data Expiration |
81
Voted
ENTCS
2000
15 years 11 days 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...
100
Voted
MSS
2003
IEEE
15 years 5 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 ...
102
Voted
PODS
2005
ACM
16 years 21 days 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...
113
Voted
ADBIS
2006
Springer
15 years 6 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 4 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...