828 search results - page 116 / 166 » Visualizing Interactions in Program Executions |
CASSIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
CSMR
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
ECOOP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Fac?ade patterns to create large-granulari...
ISSRE
2006
IEEE
14 years 4 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
DSVIS
2003
Springer
14 years 3 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...