Sciweavers

2118 search results - page 301 / 424
» Execution of A Requirement Model in Software Development
Sort
View
JFR
2007
150views more  JFR 2007»
15 years 4 months ago
Decisional autonomy of planetary rovers
To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication dela...
Félix Ingrand, Simon Lacroix, Solange Lemai...
SIMUTOOLS
2008
15 years 5 months ago
A grid-enabled toolkit for in silico oncology simulations
In silico (on the computer) oncology is a multi-disciplinary field that focuses on the examination and modeling of biological mechanisms related to the phenomenon of cancer. In si...
Theodoros E. Athanaileas, Georgios S. Stamatakos, ...
FORMATS
2009
Springer
15 years 11 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
FUN
2010
Springer
306views Algorithms» more  FUN 2010»
15 years 9 months ago
Leveling-Up in Heroes of Might and Magic III
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 ...
Dimitrios I. Diochnos
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 5 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...