1991 search results - page 240 / 399 » Using a Coding Standard to Improve Program Quality |
172
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
144
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
139
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
122
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
146
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...