2342 search results - page 322 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
ISSRE
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper suggests a novel image compression scheme, using the discrete wavelet transformation (DWT) and the fuzzy c-means clustering technique. The goal is to achieve higher com...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
During the development and maintenance of ObjectOriented (OO) software, the information on the classes which are more prone to be changed is very useful. Developers and maintainer...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...