1645 search results - page 100 / 329 » Rationale-Based Use Case Specification |
227
click to vote
VCBM
2010
15 years 1 months ago
2010
Virtual reality based therapy simulation meets a growing interest from the medical community due to its potential impact for the training of medical residents and the planning of ...
179
click to vote
AAAI
1994
15 years 7 months ago
1994
Techniques that traditionally have been useful for retrieving same-domain analogies from small single-use knowledge bases, such as spreading activation and indexing on selected fe...
161
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
160
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
159
click to vote
FORTE
2004
15 years 7 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...