3639 search results - page 486 / 728 » Provenance as Dependency Analysis |
172
click to vote
ISSRE
2006
IEEE
16 years 19 days 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...
170
click to vote
CSCW
2006
ACM
16 years 18 days ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
215
click to vote
MMSEC
2006
ACM
16 years 17 days ago
2006
ACM
This paper presents a theoretical security analysis of lattice data hiding. The security depends on the secrecy of a dither signal that randomizes the codebook. If the same secret...
168
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
173
click to vote
METRICS
2005
IEEE
16 years 6 days ago
2005
IEEE
Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and individual issues are s...