7557 search results - page 675 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...
192
click to vote
CIMCA
2005
IEEE
16 years 26 days ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
171
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
The Behavior Action Simulation Platform (BASP) has been in existence since early 2000, when it was first applied to small-team reconnaissance scenarios for the United States Marin...
213
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
160
click to vote
AIPS
2006
15 years 8 months ago
2006
We view dynamic scheduling as a sequential decision problem. Firstly, we introduce a generalized planning operator, the stochastic task model (STM), which predicts the effects of ...