606 search results - page 81 / 122 » A Comparative Study of Industrial Static Analysis Tools |
109
Voted
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
89
Voted
BMCBI
2008
15 years 23 days ago
2008
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...
96
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Novel online file sharing technologies have created new market dynamics and posed a great challenge to the music industry to try and retain customers. Consumers have created anony...
112
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
122
click to vote
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...