2241 search results - page 171 / 449 » Performance Modeling and Evaluation of E-Business Systems |
CAV
2010
Springer
14 years 15 days ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
AC
2008
Springer
13 years 9 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
ICDE
2010
IEEE
13 years 9 months ago
2010
IEEE
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
In the model-based policy search approach to reinforcement learning (RL), policies are found using a model (or "simulator") of the Markov decision process. However, for ...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...