1992 search results - page 171 / 399 » Model Based Testing with Labelled Transition Systems |
112
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
141
Voted
IPMI
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a method for detection of cerebral white matter hyperintensities (WMH) based on run-time PD-, T1-, and T2weighted structural magnetic resonance (MR) images of t...
228
Voted
DAI
1998
Springer
15 years 8 months ago
1998
Springer
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
132
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
144
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...