6059 search results - page 39 / 1212 » A Technique for Verifying Measurements |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We configure the multiple node interference (MNI) on OFDMA mesh networks and analyze the feature of this MNI as a closed form in terms of timing misalignment between multiple nod...
ZUM
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
JUCS
2010
14 years 4 months ago
2010
Abstract: Digital watermarking for relational databases emerged as a candidate solution to provide copyright protection, tamper detection, traitor tracing, maintaining integrity of...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...