4350 search results - page 724 / 870 » Case studies for contract-based systems |
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
VLDB
2001
ACM
14 years 9 months ago
2001
ACM
Abstract In this paper we present a mechanism for approximately translating Boolean query constraints across heterogeneous information sources. Achieving the best translation is ch...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
We consider the problem of approximating sliding window joins over data streams in a data stream processing system with limited resources. In our model, we deal with resource cons...