Sciweavers

748 search results - page 72 / 150
» Applying WinWin to Quality Requirements: A Case Study
Sort
View
SIGIR
2012
ACM
11 years 11 months ago
Task complexity, vertical display and user interaction in aggregated search
Aggregated search is the task of blending results from specialized search services or verticals into the Web search results. While many studies have focused on aggregated search t...
Jaime Arguello, Wan-Ching Wu, Diane Kelly, Ashlee ...
WOSP
2005
ACM
14 years 2 months ago
A capacity management service for resource pools
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
Jerry Rolia, Ludmila Cherkasova, Martin F. Arlitt,...
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
14 years 1 months ago
PODS: a new model and processing algorithms for uncertain data streams
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
Thanh T. L. Tran, Liping Peng, Boduo Li, Yanlei Di...
VSTTE
2010
Springer
13 years 6 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
BIRTHDAY
2008
Springer
13 years 11 months ago
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
Carlo Ghezzi, Paola Inverardi, Carlo Montangero