2956 search results - page 178 / 592 » Asim: A Performance Model Framework |
197
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
187
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Whenever a dataset has multiple discrete target variables, we want our algorithms to consider not only the variables themselves, but also the interdependencies between them. We pro...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
167
click to vote
TCSV
2008
15 years 6 months ago
2008
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...
206
click to vote
CN
2002
15 years 6 months ago
2002
An analytical framework for modeling a network of Random Early Detection (RED) queues with mixed traffic types (e.g. TCP and UDP) is developed. Expressions for the steady state go...