15644 search results - page 2873 / 3129 » Brittle System Analysis |
233
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
172
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
159
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
150
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Ultra-wideband (UWB) techniques are recently targeted as a broadband short range solution for in-flightentertainment (IFE) systems. Despite the in-cabin channel can be consider...
219
click to vote
XPU
2010
Springer
15 years 5 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...