1645 search results - page 93 / 329 » Rationale-Based Use Case Specification |
173
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
199
click to vote
WER
2010
Springer
15 years 4 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
172
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
167
click to vote
TSP
2010
15 years 1 months ago
2010
In this correspondence, we show how the cyclic prefix can be used to enhance the performance of an OFDM receiver. Specifically, we show how an OFDM symbol can be blindly detected ...
160
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...