2748 search results - page 123 / 550 » Generating Object-Z Specifications from Use Cases |
96
Voted
ENTCS
2008
15 years 16 days ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Sparse sampling with coprime lattice arrays was introduced recently in the literature. It has been shown that a dense coarray can be constructed from such a pair of arrays, and is...
101
click to vote
CORR
2007
Springer
15 years 14 days ago
2007
Springer
—Established in 2005, YouTube has become the most successful Internet site providing a new generation of short video sharing service. Today, YouTube alone comprises approximately...
109
Voted
IEICET
2008
15 years 16 days ago
2008
We propose a domain specific model for statistical machine translation. It is wellknown that domain specific language models perform well in automatic speech recognition. We show ...
101
Voted
RE
2005
Springer
15 years 6 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...