5766 search results - page 835 / 1154 » Reverse Engineering of Data |
166
click to vote
FATES
2004
Springer
16 years 14 hour ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
170
click to vote
FSTTCS
2004
Springer
16 years 12 hour ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
157
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
162
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...
190
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...