554 search results - page 51 / 111 » Performance estimation for embedded systems with data and co... |
JCS
2008
13 years 9 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Presently, many distributed multimedia systems adapt to their changing environments and Quality of Service (QoS) requirements by exchanging control and feedback data between server...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...