692 search results - page 125 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
219
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract-- Scientific workflow management systems are increaingly providing the ability to manage and query the provenance of data products. However, the problem of differencing th...
HRI
2010
ACM
15 years 6 months ago
2010
ACM
Abstract—Joint attention – the idea that humans make inferences from observable behaviors of other humans by attending to the objects and events that these others humans attend...
105
click to vote
BSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
101
click to vote
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...