631 search results - page 11 / 127 » Producing reliable software: an experiment |
SIGDOC
1992
ACM
15 years 3 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...
100
click to vote
BMCBI
2005
14 years 11 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...
122
click to vote
COMPSAC
2003
IEEE
15 years 5 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...
108
click to vote
COMPSAC
2006
IEEE
15 years 5 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...
104
click to vote
ADAEUROPE
2004
Springer
15 years 5 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...