3218 search results - page 188 / 644 » Timed Extensions for SDL |
105
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Extensive research has been done to show that heartbeats are composed of the interaction of many physiological components operating on different time scales, with nonlinear and se...
147
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
We are presenting a framework for continuous querying of time-varying streamed XML data. A continuous stream in our framework consists of a finite XML document followed by a conti...
160
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
159
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
132
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....