2278 search results - page 239 / 456 » Specification Techniques for Automatic Performance Analysis ... |
163
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
179
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
169
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
As networks become faster there is an emerging need for security analysis techniques that can keep up with the increased network throughput. Existing network-based intrusion detec...
157
click to vote
SAFECOMP
2001
Springer
15 years 11 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
159
click to vote
CGF
2002
15 years 6 months ago
2002
Parameterization of discrete surfaces is a fundamental and widely-used operation in graphics, required, for instance, for texture mapping or remeshing. As 3D data becomes more and...