1953 search results - page 206 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
177
click to vote
TIM
2010
14 years 10 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
134
click to vote
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
127
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
136
click to vote
FGR
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...
125
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...