2517 search results - page 430 / 504 » Specifying Weak Sets |
140
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
156
click to vote
DIMVA
2008
15 years 6 months ago
2008
Over the past several years, US-CERT advisories, as well as most critical updates from software vendors, have been due to memory corruption vulnerabilities such as buffer overflo...
175
Voted
SOUPS
2010
ACM
15 years 5 months ago
2010
ACM
Home networks are common but notoriously difficult to setup and maintain. The difficulty users experience in setting up and maintaining their home network is problematic because o...
150
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Applications of computational methods for predicting protein functional linkages are increasing. In recent years, several bacteria-specific methods for predicting link...
172
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins. Since structure is better conserved ...