4962 search results - page 292 / 993 » Stochastic Model Checking |
130
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
108
click to vote
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
115
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
141
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
156
click to vote
CMSB
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...