Sciweavers

11328 search results - page 95 / 2266
» Timed Branching Processes
Sort
View
MOC
1998
89views more  MOC 1998»
15 years 2 months ago
Approximation of continuous time stochastic processes by a local linearization method
This paper investigates the rate of convergence of an alternative approximation method for stochastic differential equations. The rates of convergence of the one-step and multi-st...
Isao Shoji
IOR
2010
92views more  IOR 2010»
15 years 1 months ago
Series Expansions for Continuous-Time Markov Processes
We present exchange formulas that allow to express the stationary distribution of a continuous Markov chain with denumerable state-space having generator matrix Q∗ through a con...
Bernd Heidergott, Arie Hordijk, Nicole Leder
153
Voted
CONCUR
2003
Springer
15 years 8 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
16 years 4 months ago
Simultaneous Equation Systems for Query Processing on Continuous-Time Data Streams
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
Jennie Rogers, Olga Papaemmanouil, Ugur Çet...
IPPS
1999
IEEE
15 years 7 months ago
Real-Time Image Processing on a Focal Plane SIMD Array
Real-time image processing applications have tremendous computational workloads and I/O throughput requirements. Operation in mobile, portable devices poses stringent resource limi...
Antonio Gentile, José Cruz-Rivera, D. Scott...