4520 search results - page 333 / 904 » Algebraic Techniques for Timed Systems |
228
Voted
WSMAI
2004
15 years 8 months ago
2004
Continuous Queries (CQ) help users to retrieve results as soon as they become available. The CQ keeps track of two important events. If there is any change in the source informatio...
196
click to vote
IWMMDBMS
1996
15 years 8 months ago
1996
A multimedia server delivers presentations (e.g., videos, movies, games), providing high bandwidth and continuous real-time delivery. In this paper we present techniques for reduc...
217
Voted
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
205
Voted
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Despite a rapid decrease in the price of solid state memory devices, system memory is still a very precious resource in embedded systems. The use of shared libraries is known to b...
190
Voted
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— An efficient, accurate and distributed metadataoriented prefetching scheme is critical to the overall performance in large distributed storage systems. In this paper, ...