Sciweavers

7961 search results - page 1313 / 1593
» Data Integration with Uncertainty
Sort
View
CHI
2003
ACM
16 years 3 months ago
A fisheye calendar interface for PDAs: providing overviews for small displays
Calendar applications for small handheld devices such as PDAs are growing in popularity. This led us to develop FishCal, a novel calendar interface for PDAs. It supports users in ...
Benjamin B. Bederson, Aaron Clamage, Mary Czerwins...
CHI
2001
ACM
16 years 3 months ago
Visualization components for persistent conversations
An appropriately designed interface to persistent, threaded conversations could reinforce socially beneficial behavior by prominently featuring how frequently and to what degree e...
Marc A. Smith, Andrew T. Fiore
164
Voted
CADE
2007
Springer
16 years 3 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
VLDB
2004
ACM
152views Database» more  VLDB 2004»
16 years 3 months ago
The BEA streaming XQuery processor
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
Daniela Florescu, Chris Hillery, Donald Kossmann, ...
219
Voted
VLDB
2007
ACM
161views Database» more  VLDB 2007»
16 years 3 months ago
Proof-Infused Streams: Enabling Authentication of Sliding Window Queries On Streams
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
Feifei Li, Ke Yi, Marios Hadjieleftheriou, George ...
« Prev « First page 1313 / 1593 Last » Next »