181 search results - page 20 / 37 » Program Slicing and Data Provenance |
COMPSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
ICSM
1996
IEEE
14 years 3 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
ICS
2000
Tsinghua U.
14 years 2 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
SCAM
2008
IEEE
14 years 5 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...