2776 search results - page 218 / 556 » System-Level Abstraction Semantics |
303
click to vote
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
189
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
174
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
173
Voted
DASFAA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...
156
Voted
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...