Sciweavers

726 search results - page 27 / 146
» Criteria for Simulation Software Evaluation
Sort
View
ICST
2009
IEEE
13 years 5 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
IWPC
2008
IEEE
14 years 1 months ago
Scenario-Based Comparison of Clone Detection Techniques
Over the last decade many techniques for software clone detection have been proposed. In this paper, we provide a comprehensive survey of the capabilities of currently available c...
Chanchal Kumar Roy, James R. Cordy
CSSE
2008
IEEE
14 years 2 months ago
Generation of Executable Representation for Processor Simulation with Dynamic Translation
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
Jiajia Song, HongWei Hao, Claude Helmstetter, Vani...
SCCC
2007
IEEE
14 years 1 months ago
Managing the QoS of E-Government: Metrics for Large Scale SOA
This paper present a set metrics for evaluating the operative aspects of the E-Government SOA systems, based on technical and economical criteria as they are intended to improve ma...
Mauricio Monsalve
JOBIM
2000
13 years 11 months ago
Can We Have Confidence in a Tree Representation?
Abstract. A tree representation distance method, applied to any dissimilarity array, always gives a valued tree, even if the tree model is not appropriate. In the first part, we pr...
Alain Guénoche, Henri Garreta