2763 search results - page 169 / 553 » The Dangerous 'All' in Specifications |
253
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, s...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper the performance limits and design principles of rateless codes over fading channels are studied. The diversity-multiplexing tradeoff (DMT) is used to analyze the syst...
101
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
173
click to vote
AICOM
2006
15 years 6 months ago
2006
This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALEconcept descriptions. Based on th...