847 search results - page 63 / 170 » When Using the Tool Interferes with Doing the Task |
TII
2010
13 years 2 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
FGR
2000
IEEE
14 years 2 days ago
2000
IEEE
We present a method for tracking the 3D position of a nger, using a single camera placed several meters away from the user. After skin detection, we use motion to identify the ges...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
In recent years, anonymization methods have emerged as an important tool to preserve individual privacy when releasing privacy sensitive data sets. This interest in anonymization t...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...