2421 search results - page 3 / 485 » Integrity Assurance Technique Using Determinant Approach |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
SIGMOD
2007
ACM
14 years 11 months ago
2007
ACM
Accurate cardinality estimation is critically important to high-quality query optimization. It is well known that conventional cardinality estimation based on histograms or simila...
ICSM
2006
IEEE
14 years 4 months ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
TRUST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
FDL
2003
IEEE
14 years 4 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...