5477 search results - page 539 / 1096 » Contexts, Domains, and Software |
366
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
We present the design, implementation, and evaluation of ArrayStore, a new storage manager for complex, parallel array processing. ArrayStore builds on prior work in the area of m...
206
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
203
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This research aims to investigate a collection of interactions in 2D workspaces with the goal of helping users stay in the flow of their activity. These interactions will be explo...
207
click to vote
COSIT
2009
Springer
16 years 2 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
162
Voted
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...