8947 search results - page 1521 / 1790 » Improving software quality |
245
click to vote
CP
2003
Springer
16 years 15 days ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
229
click to vote
FATES
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
181
click to vote
DATE
2010
IEEE
16 years 11 days ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...
218
click to vote
COOPIS
2002
IEEE
16 years 7 days ago
2002
IEEE
Abstract. The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service. Using ...
207
click to vote
INFOCOM
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper describes a control mechanism for a future Internet. It is an economic mechanism that enables users to choose different pairs of price/QoS priority levels for network se...