3639 search results - page 575 / 728 » Provenance as Dependency Analysis |
99
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
98
Voted
SCAM
2003
IEEE
15 years 6 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
SISW
2003
IEEE
15 years 6 months ago
2003
IEEE
Computer forensic analysis, intrusion detection and disaster recovery are all dependent on the existence of trustworthy log files. Current storage systems for such log files are...
95
Voted
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
103
Voted
AFRIGRAPH
2003
ACM
15 years 6 months ago
2003
ACM
The perceived realism of a computer generated image depends on the accuracy of the modeling and illumination calculations, the limitations of the display device, and the way in wh...