1648 search results - page 153 / 330 » Where to Build a Door |
SIGMOD
2002
ACM
14 years 10 months ago
2002
ACM
Time-parameterized queries (TP queries for short) retrieve (i) the actual result at the time that the query is issued, (ii) the validity period of the result given the current mot...
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
Abstract. Modern document collections often contain groups of documents with overlapping or shared content. However, most information retrieval systems process each document separa...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...