3387 search results - page 268 / 678 » Model-Checking for Real-Time Systems |
197
click to vote
RTSS
2003
IEEE
16 years 12 days ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
203
click to vote
AVBPA
2003
Springer
16 years 11 days ago
2003
Springer
Speaker identification is a computationally expensive task. In this work, we propose an iterative speaker pruning algorithm for speeding up the identification in the context of rea...
186
click to vote
DEXA
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
212
click to vote
COOPIS
2002
IEEE
16 years 3 days ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...
222
click to vote
IPPS
2002
IEEE
16 years 2 days ago
2002
IEEE
In this paper we propose an efficient real-time communication mechanism for distributed vision processing. One of the biggest problems of distributed vision processing, as is the ...