2678 search results - page 501 / 536 » Operational Semantics of Transactions |
CHI
2011
ACM
14 years 5 months ago
2011
ACM
We present Surfpad, a pointing facilitation technique that does not decrease target distance or increase target width in either control or display space. This new technique operat...
136
click to vote
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
End-users increasingly find the need to perform light-weight, customized schema mapping. State-of-the-art tools provide powerful functions to generate schema mappings, but they u...
149
click to vote
TKDE
2012
13 years 4 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
140
click to vote
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
132
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...