ICFP
2004
ACM
14 years 4 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Autonomic computing is a grand-challenge vision of the future in which computing systems will manage themselves in accordance with high-level objectives specified by humans. The I...
PODS
2006
ACM
14 years 4 months ago
2006
ACM
This is a survey of algorithms, complexity results, and general solution techniques for efficiently processing queries on tree-structured data. I focus on query languages that com...
SIGMOD
2007
ACM
14 years 4 months ago
2007
ACM
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
POPL
2003
ACM
14 years 4 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
CHI
2004
ACM
14 years 4 months ago
2004
ACM
The vision of ubiquitous computing is floating into the domain of the household, despite arguments that lessons from design of workplace artefacts cannot be blindly transferred in...
CHI
2004
ACM
14 years 4 months ago
2004
ACM
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We�...
CHI
2004
ACM
14 years 4 months ago
2004
ACM
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
CHI
2004
ACM
14 years 4 months ago
2004
ACM
This paper presents the "bird's-eye-view" of the development and growth of HCI and usability within academia and industry in Russia. The paper also highlights the c...