2137 search results - page 389 / 428 » Proving Abstract Non-interference |
148
click to vote
ICDE
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract— Customized semantic query answering, personalized search, focused crawlers and localized search engines frequently focus on ranking the pages contained within a subgrap...
149
click to vote
BIRTHDAY
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
164
click to vote
STACS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We study the management of buffers and storages in environments with unpredictably varying prices in a competitive analysis. In the economical caching problem, there is ...
141
click to vote
CSE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...
192
click to vote
FOCS
2009
IEEE
16 years 22 days ago
2009
IEEE
Abstract— We consider the problem of estimating cascaded aggregates over a matrix presented as a sequence of updates in a data stream. A cascaded aggregate P ◦Q is defined by ...