2432 search results - page 183 / 487 » High-level approach to modeling of observed system behavior |
227
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
156
click to vote
AAAI
2006
15 years 7 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
156
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
185
click to vote
VALUETOOLS
2006
ACM
16 years 12 days ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
169
click to vote
IPMI
2005
Springer
15 years 12 months ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...