7557 search results - page 682 / 1512 » Modeling Timed Concurrent Systems |
152
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
This paper presents a new method of extracting LF model based parameters using a spectral model matching approach. Strategies are described for overcoming some of the known diffic...
142
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
238
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
254
click to vote
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
181
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...