Sciweavers

1156 search results - page 155 / 232
» The PENG System: Practice and Experience
Sort
View
VLDB
2007
ACM
181views Database» more  VLDB 2007»
15 years 12 months ago
STAR: Self-Tuning Aggregation for Scalable Monitoring
We present STAR, a self-tuning algorithm that adaptively sets numeric precision constraints to accurately and efficiently answer continuous aggregate queries over distributed data...
Navendu Jain, Michael Dahlin, Yin Zhang, Dmitry Ki...
PERCOM
2003
ACM
15 years 11 months ago
Portability, Extensibility and Robustness in iROS
The dynamism and heterogeneity in ubicomp environments on both short and long time scales implies that middleware platforms for these environments need to be designed ground up fo...
Shankar Ponnekanti, Brad Johanson, Emre Kiciman, A...
ESOP
2010
Springer
15 years 9 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
CHI
2010
ACM
15 years 6 months ago
Biketastic: sensing and mapping for better biking
Bicycling is an affordable, environmentally friendly alternative transportation mode to motorized travel. A common task performed by bikers is to find good routes in an area, whe...
Sasank Reddy, Katie Shilton, Gleb Denisov, Christi...
WIAMIS
2009
IEEE
15 years 6 months ago
High-presence, low-bandwidth, apparent 3D video-conferencing with a single camera
Small digital video cameras have become increasingly common, appearing on portable consumer devices such as cellular phones. The widespread use of video-conferencing, however, is ...
Timothy R. Brick, Jeffrey R. Spies, Barry-John The...