6059 search results - page 37 / 1212 » A Technique for Verifying Measurements |
SIP
2001
14 years 11 months ago
2001
In this paper we present a new method to estimate optical flow for large displacements. It is based on prediction of global flow field parameters, performs better than multiresolu...
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose the technique to define the metrics of model transformation using a meta-modeling technique and a graph rewriting techniques in a Model Driven Developmen...
TRUST
2009
Springer
15 years 4 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
RTSS
2008
IEEE
15 years 4 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
FPGA
2010
ACM
14 years 8 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...