11328 search results - page 411 / 2266 » Timed Branching Processes |
141
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
168
click to vote
ECRTS
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
113
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a novel approach to address the problem of change detection in time series data. Our approach is based on wavelet footprints proposed originally by the si...
163
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
150
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...