Sciweavers

19342 search results - page 403 / 3869
» Decentralised Process Modelling
Sort
View
246
Voted
APVIS
2009
15 years 8 months ago
Visualization of signal transduction processes in the crowded environment of the cell
In this paper, we propose a stochastic simulation to model and analyze cellular signal transduction. The high number of objects in a simulation requires advanced visualization tec...
Martin Falk, Michael Klann, Matthias Reuss, Thomas...
175
Voted
MOR
2008
98views more  MOR 2008»
15 years 6 months ago
An Analysis of Monotone Follower Problems for Diffusion Processes
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
Erhan Bayraktar, Masahiko Egami
200
Voted
PVLDB
2008
138views more  PVLDB 2008»
15 years 6 months ago
A skip-list approach for efficiently processing forecasting queries
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
Tingjian Ge, Stanley B. Zdonik
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
MODELS
2007
Springer
16 years 1 months ago
Model-Driven Construction of Certified Binaries
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Walln...