Sciweavers

2299 search results - page 5 / 460
» Logical Data Expiration
Sort
View
EUSFLAT
2009
108views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Fuzzy Modelling of Sensor Data for the Estimation of an Origin-Destination Matrix
Krystyna Biletska, Sophie Midenet, Marie-Hé...
IPPS
2000
IEEE
14 years 23 hour ago
Safe Caching in a Distributed File System for Network Attached Storage
In a distributed file system built on network attached storage, client computers access data directly from shared storage, rather than submitting I/O requests through a server. W...
Randal C. Burns, Robert M. Rees, Darrell D. E. Lon...
PODS
2009
ACM
112views Database» more  PODS 2009»
14 years 8 months ago
Optimal sampling from sliding windows
APPEARED IN ACM PODS-2009. A sliding windows model is an important case of the streaming model, where only the most "recent" elements remain active and the rest are disc...
Vladimir Braverman, Rafail Ostrovsky, Carlo Zaniol...
FOSSACS
2007
Springer
14 years 1 months ago
Relational Parametricity and Separation Logic
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
Lars Birkedal, Hongseok Yang
CIDM
2007
IEEE
14 years 2 months ago
Reactive Query Policies: A Formalism for Planning with Volatile External Information
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
Tsz-Chiu Au, Dana S. Nau