6167 search results - page 877 / 1234 » Can Refinement be Automated |
133
click to vote
TIT
2008
15 years 4 months ago
2008
Abstract--The ranking problem has become increasingly important in modern applications of statistical methods in automated decision making systems. In particular, we consider a for...
120
click to vote
TSE
2008
15 years 4 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
142
click to vote
TSE
2008
15 years 4 months ago
2008
Many software systems have evolved to include a Web-based component that makes them available to the public via the Internet and can expose them to a variety of Web-based attacks. ...
132
Voted
TVCG
2008
15 years 4 months ago
2008
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
169
Voted
TVLSI
2008
15 years 4 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...