10038 search results - page 1654 / 2008 » Model Checking for Managers |
155
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Previous systems have explored the challenges of designing an interface for automotive styling which combine the metaphor of 2D drawing using physical tape with the simultaneous c...
223
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
257
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
225
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
205
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
We present an event based system for storing, managing, and presenting personal multimedia history. The development of such systems is a challenge because information about person...