4983 search results - page 355 / 997 » order 2008 |
178
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...
159
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present a qualitative study of 35 United States households whose occupants have made significant accommodations to their homes and behaviors in order to be more environmentally...
198
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
152
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Bursts in data center workloads are a real problem for storage subsystems. Data volumes can experience peak I/O request rates that are over an order of magnitude higher than avera...