1301 search results - page 71 / 261 » Specifications via Realizability |
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
We describe a physico-chemical model relating measured fluorescence intensities on oligonucleotide microarrays to the underlying specific target concentration in the hybridized so...
ADHOC
2005
13 years 10 months ago
2005
Bluetooth specification still has open issues, including the intra and interpiconet scheduling topics. This article proposes an interpiconet scheduling algorithm, referred to as A...
FIW
1998
13 years 11 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
FPGA
1999
ACM
14 years 2 months ago
1999
ACM
Pipelining of data path structures increases the throughput rate at the expense of enlarged resource usage and latency unless architectures optimized towards specific applications...
BIS
2006
13 years 11 months ago
2006
The problem of the semantics-preserving data transformations during their exchange by e-business applications is addressed. A method for automatic generation of schema mappings is...