1146 search results - page 71 / 230 » Evaluation of modeling techniques for agent-based systems |
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...