Sciweavers

3161 search results - page 406 / 633
» Documenting framework behavior
Sort
View
IWANN
2009
Springer
16 years 1 months ago
TEMMAS: The Electricity Market Multi-Agent Simulator
—This paper describes a multi-agent based simulation (MABS) framework to construct an artificial electric power market populated with learning agents. The artificial market, na...
Paulo Trigo, Paulo Marques, Helder Coelho
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
SEKE
2009
Springer
16 years 1 months ago
Extending AOP to Support Broad Runtime Monitoring Needs
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
Amjad Nusayr, Jonathan Cook
SSD
2009
Springer
124views Database» more  SSD 2009»
16 years 1 months ago
ELKI in Time: ELKI 0.2 for the Performance Evaluation of Distance Measures for Time Series
ELKI is a unied software framework, designed as a tool suitable for evaluation of dierent algorithms on high dimensional realvalued feature-vectors. A special case of high dimens...
Elke Achtert, Thomas Bernecker, Hans-Peter Kriegel...
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
16 years 1 months ago
A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
Olivier Sename, Daniel Simon, Mongi Ben Gaid