13917 search results - page 12 / 2784 » Abstraction of Probabilistic Systems |
101
click to vote
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
ICICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
66
Voted
CSMR
2009
IEEE
15 years 2 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
110
click to vote
EPEW
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...