1992 search results - page 80 / 399 » Model Based Testing with Labelled Transition Systems |
138
Voted
HAPTICS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
152
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
141
Voted
WSC
1997
15 years 3 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
133
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...
110
Voted
FORTE
2000
15 years 3 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...