1590 search results - page 143 / 318 » Dependence Modeling for Stochastic Simulation |
136
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...
125
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
138
Voted
ECCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a new algorithm for segmenting a scene consisting of multiple moving dynamic textures. We model the spatial statistics of a dynamic texture with a set of secon...
127
Voted
FMSD
2006
15 years 4 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...