1432 search results - page 164 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
124
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
133
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
120
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
144
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
144
click to vote
HIS
2007
15 years 5 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...