398 search results - page 69 / 80 » Design and Implementation of Bytecode-based Java Slicing Sys... |
NORDICHI
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a new digital user study tool called Mobile Probes. Mobile Probes arose from a need to develop contextual and dynamic self-documenting tools for studying peop...
EMSOFT
2011
Springer
12 years 8 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
This paper describes an application framework for providing and managing personalized, interactive video on the web. The application framework enables content providers and aggreg...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...