5407 search results - page 762 / 1082 » The Software Engineering Global Model |
205
click to vote
FUN
2010
Springer
16 years 2 days ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
217
click to vote
EMSOFT
2005
Springer
16 years 24 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
205
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
183
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
234
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...