Sciweavers

3628 search results - page 326 / 726
» The Decision Diffie-Hellman Problem
Sort
View
ICDE
2010
IEEE
224views Database» more  ICDE 2010»
15 years 6 months ago
Partitioning real-time ETL workflows
—Many organizations are aiming to move away from traditional batch processing ETL to real-time ETL (RT-ETL). This move is motivated by a need to analyze and take decisions on as ...
Alkis Simitsis, Chetan Gupta, Song Wang, Umeshwar ...
ICALP
2010
Springer
15 years 6 months ago
Towards a Theory of Time-Bounded Verification
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
Joël Ouaknine, James Worrell
IMDS
2006
389views more  IMDS 2006»
15 years 6 months ago
Success and failure of pure-play organizations: Webvan versus Peapod, a comparative analysis
Many businesses have failed in pure play markets, on-line grocery retailers or e-grocers among them. E-grocers face many problems which the traditional brick and mortar grocery st...
Stephen E. Lunce, Leslie M. Lunce, Yoko Kawai, Bal...
FSS
2007
113views more  FSS 2007»
15 years 6 months ago
The core of bicapacities and bipolar games
Bicooperative games generalize classical cooperative games in the sense that a player is allowed to play in favor or against some aim, besides non participation. Bicapacities are ...
Lijue Xie, Michel Grabisch
SIGIR
2002
ACM
15 years 6 months ago
Novelty and redundancy detection in adaptive filtering
This paper addresses the problem of extending an adaptive information filtering system to make decisions about the novelty and redundancy of relevant documents. It argues that rel...
Yi Zhang 0001, James P. Callan, Thomas P. Minka