1057 search results - page 88 / 212 » Testing from Formal Specifications, a Generic Approach |
IDEAL
2009
Springer
13 years 7 months ago
2009
Springer
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
AIED
2007
Springer
14 years 4 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...
ADBIS
2007
Springer
13 years 12 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
RE
1999
Springer
14 years 2 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...