1301 search results - page 17 / 261 » Specifications via Realizability |
DILS
2004
Springer
14 years 27 days ago
2004
Springer
This paper describes a new method for the ontologically based standardization of concepts in the medical domain. As an application of this method we developed a data dictionary whi...
INFSOF
2006
13 years 7 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, energy detectors are developed for wideband and ultra-wideband (UWB) pulse position modulation (PPM). Exact bit error probability (BEP) formulas are derived under di...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In interference alignment, users sharing a wireless channel are each able to achieve data rates of up to half of the non-interfering channel capacity, no matter the number of users...
CSUR
1999
13 years 7 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...