631 search results - page 11 / 127 » Producing reliable software: an experiment |
140
click to vote
SIGDOC
1992
ACM
15 years 9 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
156
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
185
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
177
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
164
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...