2299 search results - page 6 / 460 » Logical Data Expiration |
178
Voted
SIGMOD
2007
ACM
16 years 17 days ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
115
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
The discovery of complex patterns such as clusters, outliers, and associations from huge volumes of streaming data has been recognized as critical for many domains. However, patte...
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
97
Voted
CORR
2010
Springer
15 years 15 days ago
2010
Springer
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
92
Voted
CADE
2005
Springer
16 years 21 days ago
2005
Springer